Marc-André Lureau <marcandre.lur...@redhat.com> writes:

> Change suggested by Markus Armbruster:
>
> This one's a bit of a mess.

Drop these two lines, and append
Suggested-by: Markus Armbruster <arm...@redhat.com>

> The getter and setter of TYPE_APIC_COMMON property "id" are
> apic_common_get_id() and apic_common_set_id().
>
> apic_common_get_id() reads either APICCommonState member uint32_t
> initial_apic_id or uint8_t id into an int64_t local variable.  It then
> passes this variable to visit_type_int().
>
> apic_common_set_id() uses visit_type_int() to read the value into a
> local variable, which it then assigns both to initial_apic_id and id.
>
> While the state backing the property is two unsigned members, 8 and 32
> bits wide, the actual visitor is 64 bits signed.
>
> cpu->apic_id is uint32_t.
>
> qdev_prop_set_uint32() isn't really wrong, because any uint32_t value is
> also a valid int64_t value.
>
> qdev_prop_set_int32() implicitly converts cpu->apic_id from uint32_t
> to int32_t.  Perhaps that's even okay, but I don't care, I want this
> mess cleaned up

I think the previous three paragraphs only apply to your PATCH v1 13/17,
not here.  Drop?

> Change getter and setter to use visit_type_uint32().  Then everything's
> uint32_t, except for @id.
>
> Signed-off-by: Marc-André Lureau <marcandre.lur...@redhat.com>
> ---
>  hw/intc/apic_common.c | 10 +++++-----
>  1 file changed, 5 insertions(+), 5 deletions(-)
>
> diff --git a/hw/intc/apic_common.c b/hw/intc/apic_common.c
> index 1ef56f8d10..e1ac33042f 100644
> --- a/hw/intc/apic_common.c
> +++ b/hw/intc/apic_common.c
> @@ -450,10 +450,10 @@ static void apic_common_get_id(Object *obj, Visitor *v, 
> const char *name,
>                                 void *opaque, Error **errp)
>  {
>      APICCommonState *s = APIC_COMMON(obj);
> -    int64_t value;
> +    uint32_t value;
>  
>      value = s->apicbase & MSR_IA32_APICBASE_EXTD ? s->initial_apic_id : 
> s->id;
> -    visit_type_int(v, name, &value, errp);
> +    visit_type_uint32(v, name, &value, errp);
>  }
>  
>  static void apic_common_set_id(Object *obj, Visitor *v, const char *name,
> @@ -462,14 +462,14 @@ static void apic_common_set_id(Object *obj, Visitor *v, 
> const char *name,
>      APICCommonState *s = APIC_COMMON(obj);
>      DeviceState *dev = DEVICE(obj);
>      Error *local_err = NULL;
> -    int64_t value;
> +    uint32_t value;
>  
>      if (dev->realized) {
>          qdev_prop_set_after_realize(dev, name, errp);
>          return;
>      }
>  
> -    visit_type_int(v, name, &value, &local_err);
> +    visit_type_uint32(v, name, &value, &local_err);
>      if (local_err) {
>          error_propagate(errp, local_err);
>          return;
> @@ -484,7 +484,7 @@ static void apic_common_initfn(Object *obj)
>      APICCommonState *s = APIC_COMMON(obj);
>  
>      s->id = s->initial_apic_id = -1;
> -    object_property_add(obj, "id", "int",
> +    object_property_add(obj, "id", "uint32",
>                          apic_common_get_id,
>                          apic_common_set_id, NULL, NULL, NULL);
>  }

Reply via email to