Home
last modified time | relevance | path

Searched defs:MSR_IA32_VMX_EPT_VPID_CAP (Results 1 – 3 of 3) sorted by relevance

/OK3568_Linux_fs/u-boot/arch/x86/include/asm/
H A Dmsr-index.h597 #define MSR_IA32_VMX_EPT_VPID_CAP 0x0000048c macro
/OK3568_Linux_fs/kernel/arch/x86/include/asm/
H A Dmsr-index.h943 #define MSR_IA32_VMX_EPT_VPID_CAP 0x0000048c macro
/OK3568_Linux_fs/kernel/tools/arch/x86/include/asm/
H A Dmsr-index.h943 #define MSR_IA32_VMX_EPT_VPID_CAP 0x0000048c macro