Lines Matching defs:high
210 static inline bool vmx_control_verify(u32 control, u32 low, u32 high)
212 return fixed_bits_valid(control, low, high);
215 static inline u64 vmx_control_msr(u32 low, u32 high)
217 return low | ((u64)high << 32);
1235 u32 **low, u32 **high)
1240 *high = &msrs->pinbased_ctls_high;
1244 *high = &msrs->procbased_ctls_high;
1248 *high = &msrs->exit_ctls_high;
1252 *high = &msrs->entry_ctls_high;
1256 *high = &msrs->secondary_ctls_high;
5994 * for the four combinations of read/write and low/high MSR numbers.
6998 * Each of these control msrs has a low and high 32-bit half: A low bit is on
7000 * bit in the high half is on if the corresponding bit in the control field
7008 * Note that as a general rule, the high half of the MSRs (bits in