Searched refs:virt_max_cpus (Results 1 – 1 of 1) sorted by relevance
2078 int n, virt_max_cpus; in machvirt_init() local2156 virt_max_cpus = GIC_NCPU; in machvirt_init()2158 virt_max_cpus = virt_redist_capacity(vms, VIRT_GIC_REDIST); in machvirt_init()2160 virt_max_cpus += virt_redist_capacity(vms, VIRT_HIGH_GIC_REDIST2); in machvirt_init()2164 if (max_cpus > virt_max_cpus) { in machvirt_init()2167 max_cpus, virt_max_cpus); in machvirt_init()