SECONDARY_EXEC_ENABLE_VPID
SECONDARY_EXEC_ENABLE_VPID;
SECONDARY_EXEC_ENABLE_VPID | \
SECONDARY_EXEC_ENABLE_VPID) ||
SECONDARY_EXEC_ENABLE_VPID;
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_VPID);
if (!(_cpu_based_2nd_exec_control & SECONDARY_EXEC_ENABLE_VPID) &&
exec_control &= ~SECONDARY_EXEC_ENABLE_VPID;
if (secondary_exec_control & SECONDARY_EXEC_ENABLE_VPID)
SECONDARY_EXEC_ENABLE_VPID | \