Searched refs:CR4_GUEST_HOST_MASK (Results 1 - 2 of 2) sorted by relevance
/fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
H A D | vcpu_priv.h | 165 CR4_GUEST_HOST_MASK = 0x6002, member in class:VmcsFieldXX |
H A D | vcpu.cpp | 524 vmcs.Write(VmcsFieldXX::CR4_GUEST_HOST_MASK, X86_CR4_VMXE); |
Completed in 26 milliseconds