>> The only other place where the number of vCPUs is used is in >> spapr_xive_dt() to define the vCPU IPI range, which done at >> the machine level again. > > spapr_max_server_number() isn't the number of vCPUs. It is the > number of consecutive vCPU ids the IC might be exposed to, > starting from 0.
We need to clarify the naming. this is confusing. What we care about is the number of vCPUs to compute the width of the IPI range. C.
