MWAIT_DISABLED
(!!(testcase & CPUID_DISABLED) ^ !!(testcase & MWAIT_DISABLED)))
if (testcase & MWAIT_DISABLED)
((testcase) & MWAIT_DISABLED); \
if (!(testcase & MWAIT_DISABLED))
__GUEST_ASSERT(this_cpu_has(X86_FEATURE_MWAIT) == !(testcase & MWAIT_DISABLED),
(testcase & MWAIT_DISABLED) ? "cleared" : "set");