Home
last modified time | relevance | path

Searched defs:CR4_VMXE (Results 1 – 3 of 3) sorted by relevance

/titanic_52/usr/src/boot/sys/boot/userboot/userboot/
H A Delf64_freebsd.c52 #define CR4_VMXE (1UL << 13) macro
/titanic_52/usr/src/uts/intel/sys/
H A Dcontrolregs.h109 #define CR4_VMXE 0x2000 macro
/titanic_52/usr/src/boot/sys/x86/include/
H A Dspecialreg.h72 #define CR4_VMXE 0x00002000 /* enable VMX operation (Intel-specific) */ macro