SECONDARY_EXEC_ENABLE_VMFUNC
SECONDARY_EXEC_ENABLE_VMFUNC;
SECONDARY_EXEC_ENABLE_VMFUNC |
SECONDARY_EXEC_ENABLE_VMFUNC |
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_VMFUNC);
exec_control &= ~SECONDARY_EXEC_ENABLE_VMFUNC;
SECONDARY_EXEC_ENABLE_VMFUNC | \