Home
last modified time | relevance | path

Searched refs:MSR_VMX_EPT_VPID_CAP (Results 1 – 3 of 3) sorted by relevance

/f-stack/freebsd/amd64/vmm/intel/
H A Dept.c86 cap = rdmsr(MSR_VMX_EPT_VPID_CAP); in ept_init()
/f-stack/freebsd/x86/include/
H A Dspecialreg.h638 #define MSR_VMX_EPT_VPID_CAP 0x48c macro
/f-stack/freebsd/x86/x86/
H A Didentcpu.c2625 msr = rdmsr(MSR_VMX_EPT_VPID_CAP); in print_vmx_info()