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

/vbox/include/VBox/vmm/
H A Dhm_vmx.h1063 #define MSR_IA32_VMX_BASIC_INFO_VMCS_ID(a) ((a) & 0x7FFFFFFF) macro
/vbox/src/VBox/VMM/VMMR0/
H A DHMR0.cpp426 *(uint32_t *)pvScatchPage = MSR_IA32_VMX_BASIC_INFO_VMCS_ID(g_HvmR0.vmx.Msrs.u64BasicInfo);
H A DHMVMXR0.cpp773 *(uint32_t *)pvCpuPage = MSR_IA32_VMX_BASIC_INFO_VMCS_ID(pVM->hm.s.vmx.Msrs.u64BasicInfo);
2787 *(uint32_t *)pVCpu->hm.s.vmx.pvVmcs = MSR_IA32_VMX_BASIC_INFO_VMCS_ID(pVM->hm.s.vmx.Msrs.u64BasicInfo);
/vbox/src/VBox/VMM/VMMR3/
H A DHM.cpp1034 LogRel(("HM: VMCS id = %#x\n", MSR_IA32_VMX_BASIC_INFO_VMCS_ID(pVM->hm.s.vmx.Msrs.u64BasicInfo)));

Completed in 123 milliseconds