MSR_IA32_UMWAIT_CONTROL_TIME_MASK
return ctrl & MSR_IA32_UMWAIT_CONTROL_TIME_MASK;
(((max_time) & MSR_IA32_UMWAIT_CONTROL_TIME_MASK) | \
u32 ctrl = maxtime & MSR_IA32_UMWAIT_CONTROL_TIME_MASK;
if (max_time & ~MSR_IA32_UMWAIT_CONTROL_TIME_MASK)