MSR_VMX_EPT_VPID_CAP (reference) in projects: freebsd

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

/freebsd/sys/amd64/vmm/intel/
H A D	ept.c	`81 cap = rdmsr(MSR_VMX_EPT_VPID_CAP); in ept_init()`
/freebsd/sys/x86/include/
H A D	specialreg.h	`728 #define MSR_VMX_EPT_VPID_CAP 0x48c macro`
/freebsd/sys/x86/x86/
H A D	identcpu.c	`2644 msr = rdmsr(MSR_VMX_EPT_VPID_CAP); in print_vmx_info()`