Message ID | 1436284182-5063-5-git-send-email-agraf@suse.de |
---|---|
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 */