Message ID | 1435818208-11808-2-git-send-email-david@gibson.dropbear.id.au |
---|---|
State | New |
Headers | show |
diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c index f174e5a..10ca866 100644 --- a/hw/ppc/spapr.c +++ b/hw/ppc/spapr.c @@ -1467,7 +1467,8 @@ static void ppc_spapr_init(MachineState *machine) /* Set up Interrupt Controller before we create the VCPUs */ spapr->icp = xics_system_init(machine, - smp_cpus * kvmppc_smt_threads() / smp_threads, + DIV_ROUND_UP(smp_cpus * kvmppc_smt_threads(), + smp_threads), XICS_IRQS); /* init CPUs */