Lines Matching refs:max_leaf
232 p->basic.max_leaf + 1ul); ++i ) in calculate_raw_policy()
244 if ( p->basic.max_leaf >= 4 ) in calculate_raw_policy()
270 if ( p->basic.max_leaf >= 7 ) in calculate_raw_policy()
279 if ( p->basic.max_leaf >= XSTATE_CPUID ) in calculate_raw_policy()
299 p->extd.max_leaf + 1 - 0x80000000ul); ++i ) in calculate_raw_policy()
311 p->basic.max_leaf = in calculate_host_policy()
312 min_t(uint32_t, p->basic.max_leaf, ARRAY_SIZE(p->basic.raw) - 1); in calculate_host_policy()
315 p->extd.max_leaf = 0x80000000 | min_t(uint32_t, p->extd.max_leaf & 0xffff, in calculate_host_policy()
462 p->basic.max_leaf = min(p->basic.max_leaf, max->basic.max_leaf); in recalculate_cpuid_policy()
464 p->extd.max_leaf = 0x80000000 | min(p->extd.max_leaf & 0xffff, in recalculate_cpuid_policy()
523 if ( p->basic.max_leaf < XSTATE_CPUID ) in recalculate_cpuid_policy()
614 ASSERT(p->basic.max_leaf < ARRAY_SIZE(p->basic.raw)); in guest_cpuid()
615 if ( leaf > min_t(uint32_t, p->basic.max_leaf, in guest_cpuid()
664 ASSERT((p->extd.max_leaf & 0xffff) < ARRAY_SIZE(p->extd.raw)); in guest_cpuid()
665 if ( (leaf & 0xffff) > min_t(uint32_t, p->extd.max_leaf & 0xffff, in guest_cpuid()