static char *spapr_vio_get_dev_name(DeviceState *qdev)

{

    VIOsPAPRDevice *dev = VIO_SPAPR_DEVICE(qdev);

    VIOsPAPRDeviceClass *pc = VIO_SPAPR_DEVICE_GET_CLASS(dev);

    char *name;



    /* Device tree style name device@reg */

    name = g_strdup_printf("%s@%x", pc->dt_name, dev->reg);



    return name;

}

static char *spapr_vio_get_dev_name(DeviceState *qdev)

{

    VIOsPAPRDevice *dev = VIO_SPAPR_DEVICE(qdev);

    VIOsPAPRDeviceClass *pc = VIO_SPAPR_DEVICE_GET_CLASS(dev);

    char *name;



    

    name = g_strdup_printf("%s@%x", pc->dt_name, dev->reg);



    return name;

}

static char *FUNC_0(DeviceState *VAR_0)

{

    VIOsPAPRDevice *dev = VIO_SPAPR_DEVICE(VAR_0);

    VIOsPAPRDeviceClass *pc = VIO_SPAPR_DEVICE_GET_CLASS(dev);

    char *VAR_1;



    

    VAR_1 = g_strdup_printf("%s@%x", pc->dt_name, dev->reg);



    return VAR_1;

}

static char *FUNC_0(DeviceState *VAR_0)
{ VIOsPAPRDevice *dev = VIO_SPAPR_DEVICE(VAR_0); VIOsPAPRDeviceClass *pc = VIO_SPAPR_DEVICE_GET_CLASS(dev); char *VAR_1; VAR_1 = g_strdup_printf("%s@%x", pc->dt_name, dev->reg); return VAR_1; }