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

/macosx-10.5.8/xnu-1228.15.4/osfmk/i386/vmx/
H A Dvmx_cpu.c93 uint64_t msr_image; local
102 msr_image = rdmsr64(MSR_IA32_FEATURE_CONTROL);
103 if (0 == ((msr_image & MSR_IA32_FEATCTL_LOCK)))
105 (msr_image |
121 uint64_t msr_image; local
144 msr_image = rdmsr64(MSR_IA32_VMX_BASIC);
145 specs->vmcs_id = msr_image & VMX_VCR_VMCS_REV_ID;
146 specs->vmcs_mem_type = bitfield(msr_image, VMX_VCR_VMCS_MEM_TYPE) != 0;
147 specs->vmcs_size = bitfield(msr_image, VMX_VCR_VMCS_SIZE);
150 msr_image
[all...]

Completed in 22 milliseconds