On Mon, 15 May 2017 18:11:27 +0200
Cédric Le Goater <clg@kaod.org> wrote:

> >>> +        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.
> 

Ah yes you're right. Maybe this can be factored out in a followup
patch.

> C. 
>