static void pc_dimm_get_size(Object *obj, Visitor *v, const char *name,

                             void *opaque, Error **errp)

{

    uint64_t value;

    MemoryRegion *mr;

    PCDIMMDevice *dimm = PC_DIMM(obj);

    PCDIMMDeviceClass *ddc = PC_DIMM_GET_CLASS(obj);



    mr = ddc->get_memory_region(dimm);

    value = memory_region_size(mr);



    visit_type_uint64(v, name, &value, errp);

}

static void pc_dimm_get_size(Object *obj, Visitor *v, const char *name,

                             void *opaque, Error **errp)

{

    uint64_t value;

    MemoryRegion *mr;

    PCDIMMDevice *dimm = PC_DIMM(obj);

    PCDIMMDeviceClass *ddc = PC_DIMM_GET_CLASS(obj);



    mr = ddc->get_memory_region(dimm);

    value = memory_region_size(mr);



    visit_type_uint64(v, name, &value, errp);

}

    mr = ddc->get_memory_region(dimm);
static void FUNC_0(Object *VAR_0, Visitor *VAR_1, const char *VAR_2,

                             void *VAR_3, Error **VAR_4)

{

    uint64_t value;

    MemoryRegion *mr;

    PCDIMMDevice *dimm = PC_DIMM(VAR_0);

    PCDIMMDeviceClass *ddc = PC_DIMM_GET_CLASS(VAR_0);



    mr = ddc->get_memory_region(dimm);

    value = memory_region_size(mr);



    visit_type_uint64(VAR_1, VAR_2, &value, VAR_4);

}

static void FUNC_0(Object *VAR_0, Visitor *VAR_1, const char *VAR_2,
void *VAR_3, Error **VAR_4)
{ uint64_t value; MemoryRegion *mr; PCDIMMDevice *dimm = PC_DIMM(VAR_0); PCDIMMDeviceClass *ddc = PC_DIMM_GET_CLASS(VAR_0); mr = ddc->get_memory_region(dimm); value = memory_region_size(mr); visit_type_uint64(VAR_1, VAR_2, &value, VAR_4); }