IA32_VMX_EPT_VPID_INVEPT_ALL
IA32_VMX_EPT_VPID_INVEPT_ALL | \
if ((msr & IA32_VMX_EPT_VPID_INVEPT_ALL) != 0) {