Searched refs:ASMSetCR4 (Results 1 - 4 of 4) sorted by relevance

/vbox/src/VBox/VMM/VMMR0/
H A DHMR0.cpp439 ASMSetCR4(g_HvmR0.vmx.u64HostCr4 | X86_CR4_VMXE);
473 ASMSetCR4(g_HvmR0.vmx.u64HostCr4);
/vbox/include/iprt/
H A Dasm-amd64-x86.h1665 DECLASM(void) ASMSetCR4(RTCCUINTREG uCR4);
1667 DECLINLINE(void) ASMSetCR4(RTCCUINTREG uCR4) function
/vbox/src/VBox/HostDrivers/Support/linux/
H A DSUPDrv-linux.c833 ASMSetCR4(uNew);
/vbox/src/VBox/HostDrivers/Support/
H A DSUPDrv.cpp3674 * instead of ASMSetCR4() is only necessary for semi-permanent CR4 changes
3692 ASMSetCR4(uNew);

Completed in 323 milliseconds