Searched refs:virt_max_cpus (Results 1 – 1 of 1) sorted by relevance
2035 int n, virt_max_cpus; in machvirt_init() local2118 virt_max_cpus = GIC_NCPU; in machvirt_init()2120 virt_max_cpus = virt_redist_capacity(vms, VIRT_GIC_REDIST); in machvirt_init()2122 virt_max_cpus += virt_redist_capacity(vms, VIRT_HIGH_GIC_REDIST2); in machvirt_init()2126 if (max_cpus > virt_max_cpus) { in machvirt_init()2129 max_cpus, virt_max_cpus); in machvirt_init()