SECONDARY_EXEC_ENABLE_RDTSCP
SECONDARY_EXEC_ENABLE_RDTSCP;
SECONDARY_EXEC_ENABLE_RDTSCP | \
SECONDARY_EXEC_ENABLE_RDTSCP |
SECONDARY_EXEC_ENABLE_RDTSCP |
SECONDARY_EXEC_ENABLE_RDTSCP,
if (!nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_RDTSCP)) {
SECONDARY_EXEC_ENABLE_RDTSCP | \