Searched refs:VMX_VCR_VMCS_REV_ID (Results 1 - 2 of 2) sorted by relevance
| /xnu-2782.1.97/osfmk/i386/vmx/ | ||
| H A D | vmx_asm.h | 45 #define VMX_VCR_VMCS_REV_ID 0x00000000FFFFFFFFLL macro |
| H A D | vmx_cpu.c | 152 specs->vmcs_id = rdmsr_mask(MSR_IA32_VMX_BASIC, VMX_VCR_VMCS_REV_ID); |
Completed in 74 milliseconds