Searched refs:arch_max (Results 1 – 1 of 1) sorted by relevance
163 u32 arch_max; in __avic_get_max_physical_id() local170 arch_max = x2avic_max_physical_id; in __avic_get_max_physical_id()172 arch_max = AVIC_MAX_PHYSICAL_ID; in __avic_get_max_physical_id()178 return min(kvm->arch.max_vcpu_ids - 1, arch_max); in __avic_get_max_physical_id()