Home
last modified time | relevance | path

Searched refs:MSR_VMX_BASIC (Results 1 – 4 of 4) sorted by relevance

/freebsd/sys/amd64/vmm/intel/
H A Dvmx_msr.c62 return (rdmsr(MSR_VMX_BASIC) & 0xffffffff); in vmx_revision()
88 true_ctls_avail = (rdmsr(MSR_VMX_BASIC) & (1UL << 55)) != 0; in vmx_set_ctlreg()
H A Dvmx.c687 basic = rdmsr(MSR_VMX_BASIC); in vmx_modinit()
/freebsd/sys/x86/include/
H A Dspecialreg.h663 #define MSR_VMX_BASIC 0x480 macro
/freebsd/sys/x86/x86/
H A Didentcpu.c2477 basic = rdmsr(MSR_VMX_BASIC); in print_vmx_info()