Lines Matching defs:high
208 static inline bool vmx_control_verify(u32 control, u32 low, u32 high)
210 return fixed_bits_valid(control, low, high);
213 static inline u64 vmx_control_msr(u32 low, u32 high)
215 return low | ((u64)high << 32);
519 * have the write-low and read-high bitmap offsets the wrong way round.
537 /* read-high */
542 /* write-high */
1272 u32 **low, u32 **high)
1277 *high = &msrs->pinbased_ctls_high;
1281 *high = &msrs->procbased_ctls_high;
1285 *high = &msrs->exit_ctls_high;
1289 *high = &msrs->entry_ctls_high;
1293 *high = &msrs->secondary_ctls_high;
5720 * for the four combinations of read/write and low/high MSR numbers.
6419 * Each of these control msrs has a low and high 32-bit half: A low bit is on
6421 * bit in the high half is on if the corresponding bit in the control field
6427 * Note that as a general rule, the high half of the MSRs (bits in