Searched refs:MSR_IA32_VMX_BASIC (Results 1 – 6 of 6) sorted by relevance
67 #define MSR_IA32_VMX_BASIC 0x480 macro
135 mov $MSR_IA32_VMX_BASIC, %rcx
584 #define MSR_IA32_VMX_BASIC 0x00000480 macro
539 return rdmsr(MSR_IA32_VMX_BASIC); in vmcs_revision()
1028 #define MSR_IA32_VMX_BASIC 0x00000480 macro
1516 #define MSR_IA32_VMX_BASIC 0x480