Searched refs:MSR_VMX_BASIC (Results 1 – 4 of 4) sorted by relevance
67 return (rdmsr(MSR_VMX_BASIC) & 0xffffffff); in vmx_revision()93 true_ctls_avail = (rdmsr(MSR_VMX_BASIC) & (1UL << 55)) != 0; in vmx_set_ctlreg()
691 basic = rdmsr(MSR_VMX_BASIC); in vmx_modinit()
628 #define MSR_VMX_BASIC 0x480 macro
2484 basic = rdmsr(MSR_VMX_BASIC); in print_vmx_info()