source: vbox@ 15390

Name	Size	Rev	Age	Author	Last Change
trunk		15390	16 years	vboxsync	X86_CPUID_AMD_FEATURE_EDX_SEP not set it seems in 32 bits mode. (Intel)

Note: See TracBrowser for help on using the repository browser.