Searched refs:X86_MSR_IA32_VMX_PINBASED_CTLS (Results 1 - 2 of 2) sorted by relevance
| /fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
| H A D | vcpu_priv.h | 13 #define X86_MSR_IA32_VMX_PINBASED_CTLS 0x0481 macro |
| H A D | vcpu.cpp | 310 read_msr(X86_MSR_IA32_VMX_PINBASED_CTLS), |
Completed in 22 milliseconds