>>> + int smt = kvmppc_smt_threads(); >>> + int nr_servers = DIV_ROUND_UP(max_cpus * smt, smp_threads); >> >> may be we should reintroduce nr_servers at the machine level ? >> > > I had reintroduced it but then I realized it was only used in this > function.
nr_servers is also used when the device tree is populated with the interrupt controller nodes. No big deal. C.
