Home
last modified time | relevance | path

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

/freebsd-12-stable/sys/amd64/vmm/intel/
Dvmx_msr.c67 return (rdmsr(MSR_VMX_BASIC) & 0xffffffff); in vmx_revision()
93 true_ctls_avail = (rdmsr(MSR_VMX_BASIC) & (1UL << 55)) != 0; in vmx_set_ctlreg()
Dvmx.c682 basic = rdmsr(MSR_VMX_BASIC); in vmx_init()
/freebsd-12-stable/sys/x86/include/
Dspecialreg.h597 #define MSR_VMX_BASIC 0x480 macro
/freebsd-12-stable/sys/x86/x86/
Didentcpu.c2381 basic = rdmsr(MSR_VMX_BASIC); in print_vmx_info()