Home
last modified time | relevance | path

Searched refs:IA32_EPT_VPID_CAP_WB (Results 1 – 2 of 2) sorted by relevance

/openbsd/sys/arch/amd64/include/
H A Dspecialreg.h1131 #define IA32_EPT_VPID_CAP_WB (1ULL << 14) macro
/openbsd/sys/arch/amd64/amd64/
H A Dvmm_machdep.c2614 if (msr & IA32_EPT_VPID_CAP_WB) { in vcpu_init_vmx()