diff mbox

[v3,5/7] ppc: each machine type to provide vcpu_dt_id

Message ID 146780727293.26232.15003585063698606874.stgit@bahia.lab.toulouse-stg.fr.ibm.com (mailing list archive)
State New, archived
Headers show

Commit Message

Greg Kurz July 6, 2016, 12:14 p.m. UTC
This patch switches machine types to provide device-tree cpu ids.

We have three cases to handle:

- pseries < 2.7 call ppc_cpu_init() and should compute the DT id as it is
  currently done in the target code.

- pseries 2.7 don't call ppc_cpu_init() and compute the DT as the sum of
  the core DT id and the the thread index within the core

- all other machine types don't support SMT and just need to provide a
  different index for each vcpu

Signed-off-by: Greg Kurz <groug@kaod.org>
---
 hw/ppc/e500.c           |    2 +-
 hw/ppc/mac_newworld.c   |    2 +-
 hw/ppc/mac_oldworld.c   |    2 +-
 hw/ppc/ppc.c            |    5 ++++-
 hw/ppc/ppc440_bamboo.c  |    2 +-
 hw/ppc/ppc4xx_devs.c    |    2 +-
 hw/ppc/prep.c           |    2 +-
 hw/ppc/spapr.c          |    5 ++++-
 hw/ppc/spapr_cpu_core.c |    7 +++++--
 hw/ppc/virtex_ml507.c   |    2 +-
 include/hw/ppc/ppc.h    |    2 +-
 11 files changed, 21 insertions(+), 12 deletions(-)

Comments

David Gibson July 7, 2016, 2:01 a.m. UTC | #1
On Wed, Jul 06, 2016 at 02:14:36PM +0200, Greg Kurz wrote:
> This patch switches machine types to provide device-tree cpu ids.
> 
> We have three cases to handle:
> 
> - pseries < 2.7 call ppc_cpu_init() and should compute the DT id as it is
>   currently done in the target code.
> 
> - pseries 2.7 don't call ppc_cpu_init() and compute the DT as the sum of
>   the core DT id and the the thread index within the core
> 
> - all other machine types don't support SMT and just need to provide a
>   different index for each vcpu

Would it instead make sense to expose the dt_id as a vcpu property and
have the machine type set it if it wants to override?

dt_id is probably not a good name though, since there's no guarantee
the machine type actually uses a dt, which is part of the point of
this series.

> 
> Signed-off-by: Greg Kurz <groug@kaod.org>
> ---
>  hw/ppc/e500.c           |    2 +-
>  hw/ppc/mac_newworld.c   |    2 +-
>  hw/ppc/mac_oldworld.c   |    2 +-
>  hw/ppc/ppc.c            |    5 ++++-
>  hw/ppc/ppc440_bamboo.c  |    2 +-
>  hw/ppc/ppc4xx_devs.c    |    2 +-
>  hw/ppc/prep.c           |    2 +-
>  hw/ppc/spapr.c          |    5 ++++-
>  hw/ppc/spapr_cpu_core.c |    7 +++++--
>  hw/ppc/virtex_ml507.c   |    2 +-
>  include/hw/ppc/ppc.h    |    2 +-
>  11 files changed, 21 insertions(+), 12 deletions(-)
> 
> diff --git a/hw/ppc/e500.c b/hw/ppc/e500.c
> index b9221cc2c14a..513a42a3f952 100644
> --- a/hw/ppc/e500.c
> +++ b/hw/ppc/e500.c
> @@ -823,7 +823,7 @@ void ppce500_init(MachineState *machine, PPCE500Params *params)
>          CPUState *cs;
>          qemu_irq *input;
>  
> -        cpu = ppc_cpu_init(machine->cpu_model);
> +        cpu = ppc_cpu_init(machine->cpu_model, i);
>          if (cpu == NULL) {
>              fprintf(stderr, "Unable to initialize CPU!\n");
>              exit(1);
> diff --git a/hw/ppc/mac_newworld.c b/hw/ppc/mac_newworld.c
> index 366089085844..9ef9504ff29c 100644
> --- a/hw/ppc/mac_newworld.c
> +++ b/hw/ppc/mac_newworld.c
> @@ -194,7 +194,7 @@ static void ppc_core99_init(MachineState *machine)
>      }
>      ppc_cpu_parse_features(machine->cpu_model);
>      for (i = 0; i < smp_cpus; i++) {
> -        cpu = ppc_cpu_init(machine->cpu_model);
> +        cpu = ppc_cpu_init(machine->cpu_model, i);
>          if (cpu == NULL) {
>              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
>              exit(1);
> diff --git a/hw/ppc/mac_oldworld.c b/hw/ppc/mac_oldworld.c
> index 5c2dc53cb584..0b09a8da8bf2 100644
> --- a/hw/ppc/mac_oldworld.c
> +++ b/hw/ppc/mac_oldworld.c
> @@ -114,7 +114,7 @@ static void ppc_heathrow_init(MachineState *machine)
>          machine->cpu_model = "G3";
>      ppc_cpu_parse_features(machine->cpu_model);
>      for (i = 0; i < smp_cpus; i++) {
> -        cpu = ppc_cpu_init(machine->cpu_model);
> +        cpu = ppc_cpu_init(machine->cpu_model, i);
>          if (cpu == NULL) {
>              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
>              exit(1);
> diff --git a/hw/ppc/ppc.c b/hw/ppc/ppc.c
> index 0df32a9b3965..3d7739b9540e 100644
> --- a/hw/ppc/ppc.c
> +++ b/hw/ppc/ppc.c
> @@ -1353,7 +1353,7 @@ PowerPCCPU *ppc_get_vcpu_by_dt_id(int cpu_dt_id)
>      return NULL;
>  }
>  
> -PowerPCCPU *ppc_cpu_init(const char *cpu_model)
> +PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id)
>  {
>      PowerPCCPU *cpu;
>      ObjectClass *oc;
> @@ -1373,6 +1373,9 @@ PowerPCCPU *ppc_cpu_init(const char *cpu_model)
>      }
>  
>      cpu = POWERPC_CPU(object_new(object_class_get_name(oc)));
> +
> +    cpu->cpu_dt_id = vcpu_dt_id;
> +
>      object_property_set_bool(OBJECT(cpu), true, "realized", &err);
>  
>  out:
> diff --git a/hw/ppc/ppc440_bamboo.c b/hw/ppc/ppc440_bamboo.c
> index 709a779cba7e..9dbe87207304 100644
> --- a/hw/ppc/ppc440_bamboo.c
> +++ b/hw/ppc/ppc440_bamboo.c
> @@ -187,7 +187,7 @@ static void bamboo_init(MachineState *machine)
>          machine->cpu_model = "440EP";
>      }
>      ppc_cpu_parse_features(machine->cpu_model);
> -    cpu = ppc_cpu_init(machine->cpu_model);
> +    cpu = ppc_cpu_init(machine->cpu_model, 0);
>      if (cpu == NULL) {
>          fprintf(stderr, "Unable to initialize CPU!\n");
>          exit(1);
> diff --git a/hw/ppc/ppc4xx_devs.c b/hw/ppc/ppc4xx_devs.c
> index 8cbe50361e86..ac39202c0d1c 100644
> --- a/hw/ppc/ppc4xx_devs.c
> +++ b/hw/ppc/ppc4xx_devs.c
> @@ -57,7 +57,7 @@ PowerPCCPU *ppc4xx_init(const char *cpu_model,
>  
>      /* init CPUs */
>      ppc_cpu_parse_features(cpu_model);
> -    cpu = ppc_cpu_init(cpu_model);
> +    cpu = ppc_cpu_init(cpu_model, 0);
>      if (cpu == NULL) {
>          fprintf(stderr, "Unable to find PowerPC %s CPU definition\n",
>                  cpu_model);
> diff --git a/hw/ppc/prep.c b/hw/ppc/prep.c
> index 99409a09f0ef..9e8cf233d98d 100644
> --- a/hw/ppc/prep.c
> +++ b/hw/ppc/prep.c
> @@ -510,7 +510,7 @@ static void ppc_prep_init(MachineState *machine)
>          machine->cpu_model = "602";
>      ppc_cpu_parse_features(machine->cpu_model);
>      for (i = 0; i < smp_cpus; i++) {
> -        cpu = ppc_cpu_init(machine->cpu_model);
> +        cpu = ppc_cpu_init(machine->cpu_model, i);
>          if (cpu == NULL) {
>              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
>              exit(1);
> diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c
> index 8ca80812f16a..baefc7bd279c 100644
> --- a/hw/ppc/spapr.c
> +++ b/hw/ppc/spapr.c
> @@ -1849,7 +1849,10 @@ static void ppc_spapr_init(MachineState *machine)
>          g_free(type);
>      } else {
>          for (i = 0; i < smp_cpus; i++) {
> -            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model);
> +            unsigned core_index = i / smp_threads;
> +            unsigned thread_index = i % smp_threads;
> +            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model,
> +                                           core_index * smt + thread_index);
>              if (cpu == NULL) {
>                  error_report("Unable to find PowerPC CPU definition");
>                  exit(1);
> diff --git a/hw/ppc/spapr_cpu_core.c b/hw/ppc/spapr_cpu_core.c
> index 70b6b0b5ee17..e3a3024baf32 100644
> --- a/hw/ppc/spapr_cpu_core.c
> +++ b/hw/ppc/spapr_cpu_core.c
> @@ -259,13 +259,16 @@ out:
>      error_propagate(errp, local_err);
>  }
>  
> -static void spapr_cpu_core_realize_child(Object *child, Error **errp)
> +static void spapr_cpu_core_realize_child(Object *child, unsigned vcpu_dt_id,
> +                                         Error **errp)
>  {
>      Error *local_err = NULL;
>      sPAPRMachineState *spapr = SPAPR_MACHINE(qdev_get_machine());
>      CPUState *cs = CPU(child);
>      PowerPCCPU *cpu = POWERPC_CPU(cs);
>  
> +    cpu->cpu_dt_id = vcpu_dt_id;
> +
>      object_property_set_bool(child, true, "realized", &local_err);
>      if (local_err) {
>          error_propagate(errp, local_err);
> @@ -306,7 +309,7 @@ static void spapr_cpu_core_realize(DeviceState *dev, Error **errp)
>      for (j = 0; j < cc->nr_threads; j++) {
>          obj = sc->threads + j * size;
>  
> -        spapr_cpu_core_realize_child(obj, &local_err);
> +        spapr_cpu_core_realize_child(obj, cc->core_id + j, &local_err);
>          if (local_err) {
>              goto err;
>          }
> diff --git a/hw/ppc/virtex_ml507.c b/hw/ppc/virtex_ml507.c
> index a19dd17addda..efbc58137df4 100644
> --- a/hw/ppc/virtex_ml507.c
> +++ b/hw/ppc/virtex_ml507.c
> @@ -97,7 +97,7 @@ static PowerPCCPU *ppc440_init_xilinx(ram_addr_t *ram_size,
>      qemu_irq *irqs;
>  
>      ppc_cpu_parse_features(cpu_model);
> -    cpu = ppc_cpu_init(cpu_model);
> +    cpu = ppc_cpu_init(cpu_model, 0);
>      if (cpu == NULL) {
>          fprintf(stderr, "Unable to initialize CPU!\n");
>          exit(1);
> diff --git a/include/hw/ppc/ppc.h b/include/hw/ppc/ppc.h
> index 2ed063e09bec..379b2f5d8e3d 100644
> --- a/include/hw/ppc/ppc.h
> +++ b/include/hw/ppc/ppc.h
> @@ -106,6 +106,6 @@ enum {
>  /* ppc_booke.c */
>  void ppc_booke_timers_init(PowerPCCPU *cpu, uint32_t freq, uint32_t flags);
>  
> -PowerPCCPU *ppc_cpu_init(const char *cpu_model);
> +PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id);
>  void ppc_cpu_parse_features(const char *cpu_model);
>  #endif
>
Greg Kurz July 7, 2016, 8:55 a.m. UTC | #2
On Thu, 7 Jul 2016 12:01:51 +1000
David Gibson <david@gibson.dropbear.id.au> wrote:

> On Wed, Jul 06, 2016 at 02:14:36PM +0200, Greg Kurz wrote:
> > This patch switches machine types to provide device-tree cpu ids.
> > 
> > We have three cases to handle:
> > 
> > - pseries < 2.7 call ppc_cpu_init() and should compute the DT id as it is
> >   currently done in the target code.
> > 
> > - pseries 2.7 don't call ppc_cpu_init() and compute the DT as the sum of
> >   the core DT id and the the thread index within the core
> > 
> > - all other machine types don't support SMT and just need to provide a
> >   different index for each vcpu  
> 
> Would it instead make sense to expose the dt_id as a vcpu property and
> have the machine type set it if it wants to override?
> 

And the default would be cs->cpu_index I guess, correct ?

> dt_id is probably not a good name though, since there's no guarantee
> the machine type actually uses a dt, which is part of the point of
> this series.
> 

machine_cpu_index ?

> > 
> > Signed-off-by: Greg Kurz <groug@kaod.org>
> > ---
> >  hw/ppc/e500.c           |    2 +-
> >  hw/ppc/mac_newworld.c   |    2 +-
> >  hw/ppc/mac_oldworld.c   |    2 +-
> >  hw/ppc/ppc.c            |    5 ++++-
> >  hw/ppc/ppc440_bamboo.c  |    2 +-
> >  hw/ppc/ppc4xx_devs.c    |    2 +-
> >  hw/ppc/prep.c           |    2 +-
> >  hw/ppc/spapr.c          |    5 ++++-
> >  hw/ppc/spapr_cpu_core.c |    7 +++++--
> >  hw/ppc/virtex_ml507.c   |    2 +-
> >  include/hw/ppc/ppc.h    |    2 +-
> >  11 files changed, 21 insertions(+), 12 deletions(-)
> > 
> > diff --git a/hw/ppc/e500.c b/hw/ppc/e500.c
> > index b9221cc2c14a..513a42a3f952 100644
> > --- a/hw/ppc/e500.c
> > +++ b/hw/ppc/e500.c
> > @@ -823,7 +823,7 @@ void ppce500_init(MachineState *machine, PPCE500Params *params)
> >          CPUState *cs;
> >          qemu_irq *input;
> >  
> > -        cpu = ppc_cpu_init(machine->cpu_model);
> > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> >          if (cpu == NULL) {
> >              fprintf(stderr, "Unable to initialize CPU!\n");
> >              exit(1);
> > diff --git a/hw/ppc/mac_newworld.c b/hw/ppc/mac_newworld.c
> > index 366089085844..9ef9504ff29c 100644
> > --- a/hw/ppc/mac_newworld.c
> > +++ b/hw/ppc/mac_newworld.c
> > @@ -194,7 +194,7 @@ static void ppc_core99_init(MachineState *machine)
> >      }
> >      ppc_cpu_parse_features(machine->cpu_model);
> >      for (i = 0; i < smp_cpus; i++) {
> > -        cpu = ppc_cpu_init(machine->cpu_model);
> > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> >          if (cpu == NULL) {
> >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> >              exit(1);
> > diff --git a/hw/ppc/mac_oldworld.c b/hw/ppc/mac_oldworld.c
> > index 5c2dc53cb584..0b09a8da8bf2 100644
> > --- a/hw/ppc/mac_oldworld.c
> > +++ b/hw/ppc/mac_oldworld.c
> > @@ -114,7 +114,7 @@ static void ppc_heathrow_init(MachineState *machine)
> >          machine->cpu_model = "G3";
> >      ppc_cpu_parse_features(machine->cpu_model);
> >      for (i = 0; i < smp_cpus; i++) {
> > -        cpu = ppc_cpu_init(machine->cpu_model);
> > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> >          if (cpu == NULL) {
> >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> >              exit(1);
> > diff --git a/hw/ppc/ppc.c b/hw/ppc/ppc.c
> > index 0df32a9b3965..3d7739b9540e 100644
> > --- a/hw/ppc/ppc.c
> > +++ b/hw/ppc/ppc.c
> > @@ -1353,7 +1353,7 @@ PowerPCCPU *ppc_get_vcpu_by_dt_id(int cpu_dt_id)
> >      return NULL;
> >  }
> >  
> > -PowerPCCPU *ppc_cpu_init(const char *cpu_model)
> > +PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id)
> >  {
> >      PowerPCCPU *cpu;
> >      ObjectClass *oc;
> > @@ -1373,6 +1373,9 @@ PowerPCCPU *ppc_cpu_init(const char *cpu_model)
> >      }
> >  
> >      cpu = POWERPC_CPU(object_new(object_class_get_name(oc)));
> > +
> > +    cpu->cpu_dt_id = vcpu_dt_id;
> > +
> >      object_property_set_bool(OBJECT(cpu), true, "realized", &err);
> >  
> >  out:
> > diff --git a/hw/ppc/ppc440_bamboo.c b/hw/ppc/ppc440_bamboo.c
> > index 709a779cba7e..9dbe87207304 100644
> > --- a/hw/ppc/ppc440_bamboo.c
> > +++ b/hw/ppc/ppc440_bamboo.c
> > @@ -187,7 +187,7 @@ static void bamboo_init(MachineState *machine)
> >          machine->cpu_model = "440EP";
> >      }
> >      ppc_cpu_parse_features(machine->cpu_model);
> > -    cpu = ppc_cpu_init(machine->cpu_model);
> > +    cpu = ppc_cpu_init(machine->cpu_model, 0);
> >      if (cpu == NULL) {
> >          fprintf(stderr, "Unable to initialize CPU!\n");
> >          exit(1);
> > diff --git a/hw/ppc/ppc4xx_devs.c b/hw/ppc/ppc4xx_devs.c
> > index 8cbe50361e86..ac39202c0d1c 100644
> > --- a/hw/ppc/ppc4xx_devs.c
> > +++ b/hw/ppc/ppc4xx_devs.c
> > @@ -57,7 +57,7 @@ PowerPCCPU *ppc4xx_init(const char *cpu_model,
> >  
> >      /* init CPUs */
> >      ppc_cpu_parse_features(cpu_model);
> > -    cpu = ppc_cpu_init(cpu_model);
> > +    cpu = ppc_cpu_init(cpu_model, 0);
> >      if (cpu == NULL) {
> >          fprintf(stderr, "Unable to find PowerPC %s CPU definition\n",
> >                  cpu_model);
> > diff --git a/hw/ppc/prep.c b/hw/ppc/prep.c
> > index 99409a09f0ef..9e8cf233d98d 100644
> > --- a/hw/ppc/prep.c
> > +++ b/hw/ppc/prep.c
> > @@ -510,7 +510,7 @@ static void ppc_prep_init(MachineState *machine)
> >          machine->cpu_model = "602";
> >      ppc_cpu_parse_features(machine->cpu_model);
> >      for (i = 0; i < smp_cpus; i++) {
> > -        cpu = ppc_cpu_init(machine->cpu_model);
> > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> >          if (cpu == NULL) {
> >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> >              exit(1);
> > diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c
> > index 8ca80812f16a..baefc7bd279c 100644
> > --- a/hw/ppc/spapr.c
> > +++ b/hw/ppc/spapr.c
> > @@ -1849,7 +1849,10 @@ static void ppc_spapr_init(MachineState *machine)
> >          g_free(type);
> >      } else {
> >          for (i = 0; i < smp_cpus; i++) {
> > -            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model);
> > +            unsigned core_index = i / smp_threads;
> > +            unsigned thread_index = i % smp_threads;
> > +            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model,
> > +                                           core_index * smt + thread_index);
> >              if (cpu == NULL) {
> >                  error_report("Unable to find PowerPC CPU definition");
> >                  exit(1);
> > diff --git a/hw/ppc/spapr_cpu_core.c b/hw/ppc/spapr_cpu_core.c
> > index 70b6b0b5ee17..e3a3024baf32 100644
> > --- a/hw/ppc/spapr_cpu_core.c
> > +++ b/hw/ppc/spapr_cpu_core.c
> > @@ -259,13 +259,16 @@ out:
> >      error_propagate(errp, local_err);
> >  }
> >  
> > -static void spapr_cpu_core_realize_child(Object *child, Error **errp)
> > +static void spapr_cpu_core_realize_child(Object *child, unsigned vcpu_dt_id,
> > +                                         Error **errp)
> >  {
> >      Error *local_err = NULL;
> >      sPAPRMachineState *spapr = SPAPR_MACHINE(qdev_get_machine());
> >      CPUState *cs = CPU(child);
> >      PowerPCCPU *cpu = POWERPC_CPU(cs);
> >  
> > +    cpu->cpu_dt_id = vcpu_dt_id;
> > +
> >      object_property_set_bool(child, true, "realized", &local_err);
> >      if (local_err) {
> >          error_propagate(errp, local_err);
> > @@ -306,7 +309,7 @@ static void spapr_cpu_core_realize(DeviceState *dev, Error **errp)
> >      for (j = 0; j < cc->nr_threads; j++) {
> >          obj = sc->threads + j * size;
> >  
> > -        spapr_cpu_core_realize_child(obj, &local_err);
> > +        spapr_cpu_core_realize_child(obj, cc->core_id + j, &local_err);
> >          if (local_err) {
> >              goto err;
> >          }
> > diff --git a/hw/ppc/virtex_ml507.c b/hw/ppc/virtex_ml507.c
> > index a19dd17addda..efbc58137df4 100644
> > --- a/hw/ppc/virtex_ml507.c
> > +++ b/hw/ppc/virtex_ml507.c
> > @@ -97,7 +97,7 @@ static PowerPCCPU *ppc440_init_xilinx(ram_addr_t *ram_size,
> >      qemu_irq *irqs;
> >  
> >      ppc_cpu_parse_features(cpu_model);
> > -    cpu = ppc_cpu_init(cpu_model);
> > +    cpu = ppc_cpu_init(cpu_model, 0);
> >      if (cpu == NULL) {
> >          fprintf(stderr, "Unable to initialize CPU!\n");
> >          exit(1);
> > diff --git a/include/hw/ppc/ppc.h b/include/hw/ppc/ppc.h
> > index 2ed063e09bec..379b2f5d8e3d 100644
> > --- a/include/hw/ppc/ppc.h
> > +++ b/include/hw/ppc/ppc.h
> > @@ -106,6 +106,6 @@ enum {
> >  /* ppc_booke.c */
> >  void ppc_booke_timers_init(PowerPCCPU *cpu, uint32_t freq, uint32_t flags);
> >  
> > -PowerPCCPU *ppc_cpu_init(const char *cpu_model);
> > +PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id);
> >  void ppc_cpu_parse_features(const char *cpu_model);
> >  #endif
> >   
>
David Gibson July 8, 2016, 1:57 a.m. UTC | #3
On Thu, Jul 07, 2016 at 10:55:02AM +0200, Greg Kurz wrote:
> On Thu, 7 Jul 2016 12:01:51 +1000
> David Gibson <david@gibson.dropbear.id.au> wrote:
> 
> > On Wed, Jul 06, 2016 at 02:14:36PM +0200, Greg Kurz wrote:
> > > This patch switches machine types to provide device-tree cpu ids.
> > > 
> > > We have three cases to handle:
> > > 
> > > - pseries < 2.7 call ppc_cpu_init() and should compute the DT id as it is
> > >   currently done in the target code.
> > > 
> > > - pseries 2.7 don't call ppc_cpu_init() and compute the DT as the sum of
> > >   the core DT id and the the thread index within the core
> > > 
> > > - all other machine types don't support SMT and just need to provide a
> > >   different index for each vcpu  
> > 
> > Would it instead make sense to expose the dt_id as a vcpu property and
> > have the machine type set it if it wants to override?
> > 
> 
> And the default would be cs->cpu_index I guess, correct ?

That was my intention.  However Bharata has since pointed out that
this doesn't work, because the cpu_index is only computed at realize time.

> > dt_id is probably not a good name though, since there's no guarantee
> > the machine type actually uses a dt, which is part of the point of
> > this series.
> > 
> 
> machine_cpu_index ?
> 
> > > 
> > > Signed-off-by: Greg Kurz <groug@kaod.org>
> > > ---
> > >  hw/ppc/e500.c           |    2 +-
> > >  hw/ppc/mac_newworld.c   |    2 +-
> > >  hw/ppc/mac_oldworld.c   |    2 +-
> > >  hw/ppc/ppc.c            |    5 ++++-
> > >  hw/ppc/ppc440_bamboo.c  |    2 +-
> > >  hw/ppc/ppc4xx_devs.c    |    2 +-
> > >  hw/ppc/prep.c           |    2 +-
> > >  hw/ppc/spapr.c          |    5 ++++-
> > >  hw/ppc/spapr_cpu_core.c |    7 +++++--
> > >  hw/ppc/virtex_ml507.c   |    2 +-
> > >  include/hw/ppc/ppc.h    |    2 +-
> > >  11 files changed, 21 insertions(+), 12 deletions(-)
> > > 
> > > diff --git a/hw/ppc/e500.c b/hw/ppc/e500.c
> > > index b9221cc2c14a..513a42a3f952 100644
> > > --- a/hw/ppc/e500.c
> > > +++ b/hw/ppc/e500.c
> > > @@ -823,7 +823,7 @@ void ppce500_init(MachineState *machine, PPCE500Params *params)
> > >          CPUState *cs;
> > >          qemu_irq *input;
> > >  
> > > -        cpu = ppc_cpu_init(machine->cpu_model);
> > > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> > >          if (cpu == NULL) {
> > >              fprintf(stderr, "Unable to initialize CPU!\n");
> > >              exit(1);
> > > diff --git a/hw/ppc/mac_newworld.c b/hw/ppc/mac_newworld.c
> > > index 366089085844..9ef9504ff29c 100644
> > > --- a/hw/ppc/mac_newworld.c
> > > +++ b/hw/ppc/mac_newworld.c
> > > @@ -194,7 +194,7 @@ static void ppc_core99_init(MachineState *machine)
> > >      }
> > >      ppc_cpu_parse_features(machine->cpu_model);
> > >      for (i = 0; i < smp_cpus; i++) {
> > > -        cpu = ppc_cpu_init(machine->cpu_model);
> > > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> > >          if (cpu == NULL) {
> > >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> > >              exit(1);
> > > diff --git a/hw/ppc/mac_oldworld.c b/hw/ppc/mac_oldworld.c
> > > index 5c2dc53cb584..0b09a8da8bf2 100644
> > > --- a/hw/ppc/mac_oldworld.c
> > > +++ b/hw/ppc/mac_oldworld.c
> > > @@ -114,7 +114,7 @@ static void ppc_heathrow_init(MachineState *machine)
> > >          machine->cpu_model = "G3";
> > >      ppc_cpu_parse_features(machine->cpu_model);
> > >      for (i = 0; i < smp_cpus; i++) {
> > > -        cpu = ppc_cpu_init(machine->cpu_model);
> > > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> > >          if (cpu == NULL) {
> > >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> > >              exit(1);
> > > diff --git a/hw/ppc/ppc.c b/hw/ppc/ppc.c
> > > index 0df32a9b3965..3d7739b9540e 100644
> > > --- a/hw/ppc/ppc.c
> > > +++ b/hw/ppc/ppc.c
> > > @@ -1353,7 +1353,7 @@ PowerPCCPU *ppc_get_vcpu_by_dt_id(int cpu_dt_id)
> > >      return NULL;
> > >  }
> > >  
> > > -PowerPCCPU *ppc_cpu_init(const char *cpu_model)
> > > +PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id)
> > >  {
> > >      PowerPCCPU *cpu;
> > >      ObjectClass *oc;
> > > @@ -1373,6 +1373,9 @@ PowerPCCPU *ppc_cpu_init(const char *cpu_model)
> > >      }
> > >  
> > >      cpu = POWERPC_CPU(object_new(object_class_get_name(oc)));
> > > +
> > > +    cpu->cpu_dt_id = vcpu_dt_id;
> > > +
> > >      object_property_set_bool(OBJECT(cpu), true, "realized", &err);
> > >  
> > >  out:
> > > diff --git a/hw/ppc/ppc440_bamboo.c b/hw/ppc/ppc440_bamboo.c
> > > index 709a779cba7e..9dbe87207304 100644
> > > --- a/hw/ppc/ppc440_bamboo.c
> > > +++ b/hw/ppc/ppc440_bamboo.c
> > > @@ -187,7 +187,7 @@ static void bamboo_init(MachineState *machine)
> > >          machine->cpu_model = "440EP";
> > >      }
> > >      ppc_cpu_parse_features(machine->cpu_model);
> > > -    cpu = ppc_cpu_init(machine->cpu_model);
> > > +    cpu = ppc_cpu_init(machine->cpu_model, 0);
> > >      if (cpu == NULL) {
> > >          fprintf(stderr, "Unable to initialize CPU!\n");
> > >          exit(1);
> > > diff --git a/hw/ppc/ppc4xx_devs.c b/hw/ppc/ppc4xx_devs.c
> > > index 8cbe50361e86..ac39202c0d1c 100644
> > > --- a/hw/ppc/ppc4xx_devs.c
> > > +++ b/hw/ppc/ppc4xx_devs.c
> > > @@ -57,7 +57,7 @@ PowerPCCPU *ppc4xx_init(const char *cpu_model,
> > >  
> > >      /* init CPUs */
> > >      ppc_cpu_parse_features(cpu_model);
> > > -    cpu = ppc_cpu_init(cpu_model);
> > > +    cpu = ppc_cpu_init(cpu_model, 0);
> > >      if (cpu == NULL) {
> > >          fprintf(stderr, "Unable to find PowerPC %s CPU definition\n",
> > >                  cpu_model);
> > > diff --git a/hw/ppc/prep.c b/hw/ppc/prep.c
> > > index 99409a09f0ef..9e8cf233d98d 100644
> > > --- a/hw/ppc/prep.c
> > > +++ b/hw/ppc/prep.c
> > > @@ -510,7 +510,7 @@ static void ppc_prep_init(MachineState *machine)
> > >          machine->cpu_model = "602";
> > >      ppc_cpu_parse_features(machine->cpu_model);
> > >      for (i = 0; i < smp_cpus; i++) {
> > > -        cpu = ppc_cpu_init(machine->cpu_model);
> > > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> > >          if (cpu == NULL) {
> > >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> > >              exit(1);
> > > diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c
> > > index 8ca80812f16a..baefc7bd279c 100644
> > > --- a/hw/ppc/spapr.c
> > > +++ b/hw/ppc/spapr.c
> > > @@ -1849,7 +1849,10 @@ static void ppc_spapr_init(MachineState *machine)
> > >          g_free(type);
> > >      } else {
> > >          for (i = 0; i < smp_cpus; i++) {
> > > -            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model);
> > > +            unsigned core_index = i / smp_threads;
> > > +            unsigned thread_index = i % smp_threads;
> > > +            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model,
> > > +                                           core_index * smt + thread_index);
> > >              if (cpu == NULL) {
> > >                  error_report("Unable to find PowerPC CPU definition");
> > >                  exit(1);
> > > diff --git a/hw/ppc/spapr_cpu_core.c b/hw/ppc/spapr_cpu_core.c
> > > index 70b6b0b5ee17..e3a3024baf32 100644
> > > --- a/hw/ppc/spapr_cpu_core.c
> > > +++ b/hw/ppc/spapr_cpu_core.c
> > > @@ -259,13 +259,16 @@ out:
> > >      error_propagate(errp, local_err);
> > >  }
> > >  
> > > -static void spapr_cpu_core_realize_child(Object *child, Error **errp)
> > > +static void spapr_cpu_core_realize_child(Object *child, unsigned vcpu_dt_id,
> > > +                                         Error **errp)
> > >  {
> > >      Error *local_err = NULL;
> > >      sPAPRMachineState *spapr = SPAPR_MACHINE(qdev_get_machine());
> > >      CPUState *cs = CPU(child);
> > >      PowerPCCPU *cpu = POWERPC_CPU(cs);
> > >  
> > > +    cpu->cpu_dt_id = vcpu_dt_id;
> > > +
> > >      object_property_set_bool(child, true, "realized", &local_err);
> > >      if (local_err) {
> > >          error_propagate(errp, local_err);
> > > @@ -306,7 +309,7 @@ static void spapr_cpu_core_realize(DeviceState *dev, Error **errp)
> > >      for (j = 0; j < cc->nr_threads; j++) {
> > >          obj = sc->threads + j * size;
> > >  
> > > -        spapr_cpu_core_realize_child(obj, &local_err);
> > > +        spapr_cpu_core_realize_child(obj, cc->core_id + j, &local_err);
> > >          if (local_err) {
> > >              goto err;
> > >          }
> > > diff --git a/hw/ppc/virtex_ml507.c b/hw/ppc/virtex_ml507.c
> > > index a19dd17addda..efbc58137df4 100644
> > > --- a/hw/ppc/virtex_ml507.c
> > > +++ b/hw/ppc/virtex_ml507.c
> > > @@ -97,7 +97,7 @@ static PowerPCCPU *ppc440_init_xilinx(ram_addr_t *ram_size,
> > >      qemu_irq *irqs;
> > >  
> > >      ppc_cpu_parse_features(cpu_model);
> > > -    cpu = ppc_cpu_init(cpu_model);
> > > +    cpu = ppc_cpu_init(cpu_model, 0);
> > >      if (cpu == NULL) {
> > >          fprintf(stderr, "Unable to initialize CPU!\n");
> > >          exit(1);
> > > diff --git a/include/hw/ppc/ppc.h b/include/hw/ppc/ppc.h
> > > index 2ed063e09bec..379b2f5d8e3d 100644
> > > --- a/include/hw/ppc/ppc.h
> > > +++ b/include/hw/ppc/ppc.h
> > > @@ -106,6 +106,6 @@ enum {
> > >  /* ppc_booke.c */
> > >  void ppc_booke_timers_init(PowerPCCPU *cpu, uint32_t freq, uint32_t flags);
> > >  
> > > -PowerPCCPU *ppc_cpu_init(const char *cpu_model);
> > > +PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id);
> > >  void ppc_cpu_parse_features(const char *cpu_model);
> > >  #endif
> > >   
> > 
>
Greg Kurz July 8, 2016, 6:41 a.m. UTC | #4
On Fri, 8 Jul 2016 11:57:07 +1000
David Gibson <david@gibson.dropbear.id.au> wrote:

> On Thu, Jul 07, 2016 at 10:55:02AM +0200, Greg Kurz wrote:
> > On Thu, 7 Jul 2016 12:01:51 +1000
> > David Gibson <david@gibson.dropbear.id.au> wrote:
> >   
> > > On Wed, Jul 06, 2016 at 02:14:36PM +0200, Greg Kurz wrote:  
> > > > This patch switches machine types to provide device-tree cpu ids.
> > > > 
> > > > We have three cases to handle:
> > > > 
> > > > - pseries < 2.7 call ppc_cpu_init() and should compute the DT id as it is
> > > >   currently done in the target code.
> > > > 
> > > > - pseries 2.7 don't call ppc_cpu_init() and compute the DT as the sum of
> > > >   the core DT id and the the thread index within the core
> > > > 
> > > > - all other machine types don't support SMT and just need to provide a
> > > >   different index for each vcpu    
> > > 
> > > Would it instead make sense to expose the dt_id as a vcpu property and
> > > have the machine type set it if it wants to override?
> > >   
> > 
> > And the default would be cs->cpu_index I guess, correct ?  
> 
> That was my intention.  However Bharata has since pointed out that
> this doesn't work, because the cpu_index is only computed at realize time.
> 

Yes. That's why Igor had suggested to stop using cpu_index to machine
specific ids, like x86 already does (see pc_cpus_init()).

I followed a similar logic in this patch. The resulting DT ids are exactly
the same.

Do we really need a property then ?

> > > dt_id is probably not a good name though, since there's no guarantee
> > > the machine type actually uses a dt, which is part of the point of
> > > this series.
> > >   
> > 
> > machine_cpu_index ?
> >   
> > > > 
> > > > Signed-off-by: Greg Kurz <groug@kaod.org>
> > > > ---
> > > >  hw/ppc/e500.c           |    2 +-
> > > >  hw/ppc/mac_newworld.c   |    2 +-
> > > >  hw/ppc/mac_oldworld.c   |    2 +-
> > > >  hw/ppc/ppc.c            |    5 ++++-
> > > >  hw/ppc/ppc440_bamboo.c  |    2 +-
> > > >  hw/ppc/ppc4xx_devs.c    |    2 +-
> > > >  hw/ppc/prep.c           |    2 +-
> > > >  hw/ppc/spapr.c          |    5 ++++-
> > > >  hw/ppc/spapr_cpu_core.c |    7 +++++--
> > > >  hw/ppc/virtex_ml507.c   |    2 +-
> > > >  include/hw/ppc/ppc.h    |    2 +-
> > > >  11 files changed, 21 insertions(+), 12 deletions(-)
> > > > 
> > > > diff --git a/hw/ppc/e500.c b/hw/ppc/e500.c
> > > > index b9221cc2c14a..513a42a3f952 100644
> > > > --- a/hw/ppc/e500.c
> > > > +++ b/hw/ppc/e500.c
> > > > @@ -823,7 +823,7 @@ void ppce500_init(MachineState *machine, PPCE500Params *params)
> > > >          CPUState *cs;
> > > >          qemu_irq *input;
> > > >  
> > > > -        cpu = ppc_cpu_init(machine->cpu_model);
> > > > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> > > >          if (cpu == NULL) {
> > > >              fprintf(stderr, "Unable to initialize CPU!\n");
> > > >              exit(1);
> > > > diff --git a/hw/ppc/mac_newworld.c b/hw/ppc/mac_newworld.c
> > > > index 366089085844..9ef9504ff29c 100644
> > > > --- a/hw/ppc/mac_newworld.c
> > > > +++ b/hw/ppc/mac_newworld.c
> > > > @@ -194,7 +194,7 @@ static void ppc_core99_init(MachineState *machine)
> > > >      }
> > > >      ppc_cpu_parse_features(machine->cpu_model);
> > > >      for (i = 0; i < smp_cpus; i++) {
> > > > -        cpu = ppc_cpu_init(machine->cpu_model);
> > > > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> > > >          if (cpu == NULL) {
> > > >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> > > >              exit(1);
> > > > diff --git a/hw/ppc/mac_oldworld.c b/hw/ppc/mac_oldworld.c
> > > > index 5c2dc53cb584..0b09a8da8bf2 100644
> > > > --- a/hw/ppc/mac_oldworld.c
> > > > +++ b/hw/ppc/mac_oldworld.c
> > > > @@ -114,7 +114,7 @@ static void ppc_heathrow_init(MachineState *machine)
> > > >          machine->cpu_model = "G3";
> > > >      ppc_cpu_parse_features(machine->cpu_model);
> > > >      for (i = 0; i < smp_cpus; i++) {
> > > > -        cpu = ppc_cpu_init(machine->cpu_model);
> > > > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> > > >          if (cpu == NULL) {
> > > >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> > > >              exit(1);
> > > > diff --git a/hw/ppc/ppc.c b/hw/ppc/ppc.c
> > > > index 0df32a9b3965..3d7739b9540e 100644
> > > > --- a/hw/ppc/ppc.c
> > > > +++ b/hw/ppc/ppc.c
> > > > @@ -1353,7 +1353,7 @@ PowerPCCPU *ppc_get_vcpu_by_dt_id(int cpu_dt_id)
> > > >      return NULL;
> > > >  }
> > > >  
> > > > -PowerPCCPU *ppc_cpu_init(const char *cpu_model)
> > > > +PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id)
> > > >  {
> > > >      PowerPCCPU *cpu;
> > > >      ObjectClass *oc;
> > > > @@ -1373,6 +1373,9 @@ PowerPCCPU *ppc_cpu_init(const char *cpu_model)
> > > >      }
> > > >  
> > > >      cpu = POWERPC_CPU(object_new(object_class_get_name(oc)));
> > > > +
> > > > +    cpu->cpu_dt_id = vcpu_dt_id;
> > > > +
> > > >      object_property_set_bool(OBJECT(cpu), true, "realized", &err);
> > > >  
> > > >  out:
> > > > diff --git a/hw/ppc/ppc440_bamboo.c b/hw/ppc/ppc440_bamboo.c
> > > > index 709a779cba7e..9dbe87207304 100644
> > > > --- a/hw/ppc/ppc440_bamboo.c
> > > > +++ b/hw/ppc/ppc440_bamboo.c
> > > > @@ -187,7 +187,7 @@ static void bamboo_init(MachineState *machine)
> > > >          machine->cpu_model = "440EP";
> > > >      }
> > > >      ppc_cpu_parse_features(machine->cpu_model);
> > > > -    cpu = ppc_cpu_init(machine->cpu_model);
> > > > +    cpu = ppc_cpu_init(machine->cpu_model, 0);
> > > >      if (cpu == NULL) {
> > > >          fprintf(stderr, "Unable to initialize CPU!\n");
> > > >          exit(1);
> > > > diff --git a/hw/ppc/ppc4xx_devs.c b/hw/ppc/ppc4xx_devs.c
> > > > index 8cbe50361e86..ac39202c0d1c 100644
> > > > --- a/hw/ppc/ppc4xx_devs.c
> > > > +++ b/hw/ppc/ppc4xx_devs.c
> > > > @@ -57,7 +57,7 @@ PowerPCCPU *ppc4xx_init(const char *cpu_model,
> > > >  
> > > >      /* init CPUs */
> > > >      ppc_cpu_parse_features(cpu_model);
> > > > -    cpu = ppc_cpu_init(cpu_model);
> > > > +    cpu = ppc_cpu_init(cpu_model, 0);
> > > >      if (cpu == NULL) {
> > > >          fprintf(stderr, "Unable to find PowerPC %s CPU definition\n",
> > > >                  cpu_model);
> > > > diff --git a/hw/ppc/prep.c b/hw/ppc/prep.c
> > > > index 99409a09f0ef..9e8cf233d98d 100644
> > > > --- a/hw/ppc/prep.c
> > > > +++ b/hw/ppc/prep.c
> > > > @@ -510,7 +510,7 @@ static void ppc_prep_init(MachineState *machine)
> > > >          machine->cpu_model = "602";
> > > >      ppc_cpu_parse_features(machine->cpu_model);
> > > >      for (i = 0; i < smp_cpus; i++) {
> > > > -        cpu = ppc_cpu_init(machine->cpu_model);
> > > > +        cpu = ppc_cpu_init(machine->cpu_model, i);
> > > >          if (cpu == NULL) {
> > > >              fprintf(stderr, "Unable to find PowerPC CPU definition\n");
> > > >              exit(1);
> > > > diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c
> > > > index 8ca80812f16a..baefc7bd279c 100644
> > > > --- a/hw/ppc/spapr.c
> > > > +++ b/hw/ppc/spapr.c
> > > > @@ -1849,7 +1849,10 @@ static void ppc_spapr_init(MachineState *machine)
> > > >          g_free(type);
> > > >      } else {
> > > >          for (i = 0; i < smp_cpus; i++) {
> > > > -            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model);
> > > > +            unsigned core_index = i / smp_threads;
> > > > +            unsigned thread_index = i % smp_threads;
> > > > +            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model,
> > > > +                                           core_index * smt + thread_index);
> > > >              if (cpu == NULL) {
> > > >                  error_report("Unable to find PowerPC CPU definition");
> > > >                  exit(1);
> > > > diff --git a/hw/ppc/spapr_cpu_core.c b/hw/ppc/spapr_cpu_core.c
> > > > index 70b6b0b5ee17..e3a3024baf32 100644
> > > > --- a/hw/ppc/spapr_cpu_core.c
> > > > +++ b/hw/ppc/spapr_cpu_core.c
> > > > @@ -259,13 +259,16 @@ out:
> > > >      error_propagate(errp, local_err);
> > > >  }
> > > >  
> > > > -static void spapr_cpu_core_realize_child(Object *child, Error **errp)
> > > > +static void spapr_cpu_core_realize_child(Object *child, unsigned vcpu_dt_id,
> > > > +                                         Error **errp)
> > > >  {
> > > >      Error *local_err = NULL;
> > > >      sPAPRMachineState *spapr = SPAPR_MACHINE(qdev_get_machine());
> > > >      CPUState *cs = CPU(child);
> > > >      PowerPCCPU *cpu = POWERPC_CPU(cs);
> > > >  
> > > > +    cpu->cpu_dt_id = vcpu_dt_id;
> > > > +
> > > >      object_property_set_bool(child, true, "realized", &local_err);
> > > >      if (local_err) {
> > > >          error_propagate(errp, local_err);
> > > > @@ -306,7 +309,7 @@ static void spapr_cpu_core_realize(DeviceState *dev, Error **errp)
> > > >      for (j = 0; j < cc->nr_threads; j++) {
> > > >          obj = sc->threads + j * size;
> > > >  
> > > > -        spapr_cpu_core_realize_child(obj, &local_err);
> > > > +        spapr_cpu_core_realize_child(obj, cc->core_id + j, &local_err);
> > > >          if (local_err) {
> > > >              goto err;
> > > >          }
> > > > diff --git a/hw/ppc/virtex_ml507.c b/hw/ppc/virtex_ml507.c
> > > > index a19dd17addda..efbc58137df4 100644
> > > > --- a/hw/ppc/virtex_ml507.c
> > > > +++ b/hw/ppc/virtex_ml507.c
> > > > @@ -97,7 +97,7 @@ static PowerPCCPU *ppc440_init_xilinx(ram_addr_t *ram_size,
> > > >      qemu_irq *irqs;
> > > >  
> > > >      ppc_cpu_parse_features(cpu_model);
> > > > -    cpu = ppc_cpu_init(cpu_model);
> > > > +    cpu = ppc_cpu_init(cpu_model, 0);
> > > >      if (cpu == NULL) {
> > > >          fprintf(stderr, "Unable to initialize CPU!\n");
> > > >          exit(1);
> > > > diff --git a/include/hw/ppc/ppc.h b/include/hw/ppc/ppc.h
> > > > index 2ed063e09bec..379b2f5d8e3d 100644
> > > > --- a/include/hw/ppc/ppc.h
> > > > +++ b/include/hw/ppc/ppc.h
> > > > @@ -106,6 +106,6 @@ enum {
> > > >  /* ppc_booke.c */
> > > >  void ppc_booke_timers_init(PowerPCCPU *cpu, uint32_t freq, uint32_t flags);
> > > >  
> > > > -PowerPCCPU *ppc_cpu_init(const char *cpu_model);
> > > > +PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id);
> > > >  void ppc_cpu_parse_features(const char *cpu_model);
> > > >  #endif
> > > >     
> > >   
> >   
> 
> 
>
diff mbox

Patch

diff --git a/hw/ppc/e500.c b/hw/ppc/e500.c
index b9221cc2c14a..513a42a3f952 100644
--- a/hw/ppc/e500.c
+++ b/hw/ppc/e500.c
@@ -823,7 +823,7 @@  void ppce500_init(MachineState *machine, PPCE500Params *params)
         CPUState *cs;
         qemu_irq *input;
 
-        cpu = ppc_cpu_init(machine->cpu_model);
+        cpu = ppc_cpu_init(machine->cpu_model, i);
         if (cpu == NULL) {
             fprintf(stderr, "Unable to initialize CPU!\n");
             exit(1);
diff --git a/hw/ppc/mac_newworld.c b/hw/ppc/mac_newworld.c
index 366089085844..9ef9504ff29c 100644
--- a/hw/ppc/mac_newworld.c
+++ b/hw/ppc/mac_newworld.c
@@ -194,7 +194,7 @@  static void ppc_core99_init(MachineState *machine)
     }
     ppc_cpu_parse_features(machine->cpu_model);
     for (i = 0; i < smp_cpus; i++) {
-        cpu = ppc_cpu_init(machine->cpu_model);
+        cpu = ppc_cpu_init(machine->cpu_model, i);
         if (cpu == NULL) {
             fprintf(stderr, "Unable to find PowerPC CPU definition\n");
             exit(1);
diff --git a/hw/ppc/mac_oldworld.c b/hw/ppc/mac_oldworld.c
index 5c2dc53cb584..0b09a8da8bf2 100644
--- a/hw/ppc/mac_oldworld.c
+++ b/hw/ppc/mac_oldworld.c
@@ -114,7 +114,7 @@  static void ppc_heathrow_init(MachineState *machine)
         machine->cpu_model = "G3";
     ppc_cpu_parse_features(machine->cpu_model);
     for (i = 0; i < smp_cpus; i++) {
-        cpu = ppc_cpu_init(machine->cpu_model);
+        cpu = ppc_cpu_init(machine->cpu_model, i);
         if (cpu == NULL) {
             fprintf(stderr, "Unable to find PowerPC CPU definition\n");
             exit(1);
diff --git a/hw/ppc/ppc.c b/hw/ppc/ppc.c
index 0df32a9b3965..3d7739b9540e 100644
--- a/hw/ppc/ppc.c
+++ b/hw/ppc/ppc.c
@@ -1353,7 +1353,7 @@  PowerPCCPU *ppc_get_vcpu_by_dt_id(int cpu_dt_id)
     return NULL;
 }
 
-PowerPCCPU *ppc_cpu_init(const char *cpu_model)
+PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id)
 {
     PowerPCCPU *cpu;
     ObjectClass *oc;
@@ -1373,6 +1373,9 @@  PowerPCCPU *ppc_cpu_init(const char *cpu_model)
     }
 
     cpu = POWERPC_CPU(object_new(object_class_get_name(oc)));
+
+    cpu->cpu_dt_id = vcpu_dt_id;
+
     object_property_set_bool(OBJECT(cpu), true, "realized", &err);
 
 out:
diff --git a/hw/ppc/ppc440_bamboo.c b/hw/ppc/ppc440_bamboo.c
index 709a779cba7e..9dbe87207304 100644
--- a/hw/ppc/ppc440_bamboo.c
+++ b/hw/ppc/ppc440_bamboo.c
@@ -187,7 +187,7 @@  static void bamboo_init(MachineState *machine)
         machine->cpu_model = "440EP";
     }
     ppc_cpu_parse_features(machine->cpu_model);
-    cpu = ppc_cpu_init(machine->cpu_model);
+    cpu = ppc_cpu_init(machine->cpu_model, 0);
     if (cpu == NULL) {
         fprintf(stderr, "Unable to initialize CPU!\n");
         exit(1);
diff --git a/hw/ppc/ppc4xx_devs.c b/hw/ppc/ppc4xx_devs.c
index 8cbe50361e86..ac39202c0d1c 100644
--- a/hw/ppc/ppc4xx_devs.c
+++ b/hw/ppc/ppc4xx_devs.c
@@ -57,7 +57,7 @@  PowerPCCPU *ppc4xx_init(const char *cpu_model,
 
     /* init CPUs */
     ppc_cpu_parse_features(cpu_model);
-    cpu = ppc_cpu_init(cpu_model);
+    cpu = ppc_cpu_init(cpu_model, 0);
     if (cpu == NULL) {
         fprintf(stderr, "Unable to find PowerPC %s CPU definition\n",
                 cpu_model);
diff --git a/hw/ppc/prep.c b/hw/ppc/prep.c
index 99409a09f0ef..9e8cf233d98d 100644
--- a/hw/ppc/prep.c
+++ b/hw/ppc/prep.c
@@ -510,7 +510,7 @@  static void ppc_prep_init(MachineState *machine)
         machine->cpu_model = "602";
     ppc_cpu_parse_features(machine->cpu_model);
     for (i = 0; i < smp_cpus; i++) {
-        cpu = ppc_cpu_init(machine->cpu_model);
+        cpu = ppc_cpu_init(machine->cpu_model, i);
         if (cpu == NULL) {
             fprintf(stderr, "Unable to find PowerPC CPU definition\n");
             exit(1);
diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c
index 8ca80812f16a..baefc7bd279c 100644
--- a/hw/ppc/spapr.c
+++ b/hw/ppc/spapr.c
@@ -1849,7 +1849,10 @@  static void ppc_spapr_init(MachineState *machine)
         g_free(type);
     } else {
         for (i = 0; i < smp_cpus; i++) {
-            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model);
+            unsigned core_index = i / smp_threads;
+            unsigned thread_index = i % smp_threads;
+            PowerPCCPU *cpu = ppc_cpu_init(machine->cpu_model,
+                                           core_index * smt + thread_index);
             if (cpu == NULL) {
                 error_report("Unable to find PowerPC CPU definition");
                 exit(1);
diff --git a/hw/ppc/spapr_cpu_core.c b/hw/ppc/spapr_cpu_core.c
index 70b6b0b5ee17..e3a3024baf32 100644
--- a/hw/ppc/spapr_cpu_core.c
+++ b/hw/ppc/spapr_cpu_core.c
@@ -259,13 +259,16 @@  out:
     error_propagate(errp, local_err);
 }
 
-static void spapr_cpu_core_realize_child(Object *child, Error **errp)
+static void spapr_cpu_core_realize_child(Object *child, unsigned vcpu_dt_id,
+                                         Error **errp)
 {
     Error *local_err = NULL;
     sPAPRMachineState *spapr = SPAPR_MACHINE(qdev_get_machine());
     CPUState *cs = CPU(child);
     PowerPCCPU *cpu = POWERPC_CPU(cs);
 
+    cpu->cpu_dt_id = vcpu_dt_id;
+
     object_property_set_bool(child, true, "realized", &local_err);
     if (local_err) {
         error_propagate(errp, local_err);
@@ -306,7 +309,7 @@  static void spapr_cpu_core_realize(DeviceState *dev, Error **errp)
     for (j = 0; j < cc->nr_threads; j++) {
         obj = sc->threads + j * size;
 
-        spapr_cpu_core_realize_child(obj, &local_err);
+        spapr_cpu_core_realize_child(obj, cc->core_id + j, &local_err);
         if (local_err) {
             goto err;
         }
diff --git a/hw/ppc/virtex_ml507.c b/hw/ppc/virtex_ml507.c
index a19dd17addda..efbc58137df4 100644
--- a/hw/ppc/virtex_ml507.c
+++ b/hw/ppc/virtex_ml507.c
@@ -97,7 +97,7 @@  static PowerPCCPU *ppc440_init_xilinx(ram_addr_t *ram_size,
     qemu_irq *irqs;
 
     ppc_cpu_parse_features(cpu_model);
-    cpu = ppc_cpu_init(cpu_model);
+    cpu = ppc_cpu_init(cpu_model, 0);
     if (cpu == NULL) {
         fprintf(stderr, "Unable to initialize CPU!\n");
         exit(1);
diff --git a/include/hw/ppc/ppc.h b/include/hw/ppc/ppc.h
index 2ed063e09bec..379b2f5d8e3d 100644
--- a/include/hw/ppc/ppc.h
+++ b/include/hw/ppc/ppc.h
@@ -106,6 +106,6 @@  enum {
 /* ppc_booke.c */
 void ppc_booke_timers_init(PowerPCCPU *cpu, uint32_t freq, uint32_t flags);
 
-PowerPCCPU *ppc_cpu_init(const char *cpu_model);
+PowerPCCPU *ppc_cpu_init(const char *cpu_model, unsigned vcpu_dt_id);
 void ppc_cpu_parse_features(const char *cpu_model);
 #endif