Searched refs:VMX_VCR_VMCS_REV_ID (Results 1 - 2 of 2) sorted by relevance
| /xnu-2422.115.4/osfmk/i386/vmx/ | ||
| H A D | vmx_asm.h | 45 #define VMX_VCR_VMCS_REV_ID 0x00000000FFFFFFFFLL macro |
| H A D | vmx_cpu.c | 144 specs->vmcs_id = (uint32_t)(msr_image & VMX_VCR_VMCS_REV_ID); |
Completed in 22 milliseconds