MSR_VMX_EPT_VPID_CAP (reference) in projects: f-stack

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

/f-stack/freebsd/amd64/vmm/intel/
H A D	ept.c	`86 cap = rdmsr(MSR_VMX_EPT_VPID_CAP); in ept_init()`
/f-stack/freebsd/x86/include/
H A D	specialreg.h	`638 #define MSR_VMX_EPT_VPID_CAP 0x48c macro`
/f-stack/freebsd/x86/x86/
H A D	identcpu.c	`2625 msr = rdmsr(MSR_VMX_EPT_VPID_CAP); in print_vmx_info()`