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

                                 void *opaque, Error **errp)

{

    DeviceState *dev = DEVICE(obj);

    Property *prop = opaque;

    PCIHostDeviceAddress *addr = qdev_get_prop_ptr(dev, prop);

    char buffer[] = "xxxx:xx:xx.x";

    char *p = buffer;

    int rc = 0;



    rc = snprintf(buffer, sizeof(buffer), "%04x:%02x:%02x.%d",

                  addr->domain, addr->bus, addr->slot, addr->function);

    assert(rc == sizeof(buffer) - 1);



    visit_type_str(v, name, &p, errp);

}

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

                                 void *opaque, Error **errp)

{

    DeviceState *dev = DEVICE(obj);

    Property *prop = opaque;

    PCIHostDeviceAddress *addr = qdev_get_prop_ptr(dev, prop);

    char buffer[] = "xxxx:xx:xx.x";

    char *p = buffer;

    int rc = 0;



    rc = snprintf(buffer, sizeof(buffer), "%04x:%02x:%02x.%d",

                  addr->domain, addr->bus, addr->slot, addr->function);

    assert(rc == sizeof(buffer) - 1);



    visit_type_str(v, name, &p, errp);

}

    char buffer[] = "xxxx:xx:xx.x";     rc = snprintf(buffer, sizeof(buffer), "%04x:%02x:%02x.%d",                   addr->domain, addr->bus, addr->slot, addr->function);     assert(rc == sizeof(buffer) - 1);
static void FUNC_0(Object *VAR_0, Visitor *VAR_1, const char *VAR_2,

                                 void *VAR_3, Error **VAR_4)

{

    DeviceState *dev = DEVICE(VAR_0);

    Property *prop = VAR_3;

    PCIHostDeviceAddress *addr = qdev_get_prop_ptr(dev, prop);

    char VAR_5[] = "xxxx:xx:xx.x";

    char *VAR_6 = VAR_5;

    int VAR_7 = 0;



    VAR_7 = snprintf(VAR_5, sizeof(VAR_5), "%04x:%02x:%02x.%d",

                  addr->domain, addr->bus, addr->slot, addr->function);

    assert(VAR_7 == sizeof(VAR_5) - 1);



    visit_type_str(VAR_1, VAR_2, &VAR_6, VAR_4);

}

static void FUNC_0(Object *VAR_0, Visitor *VAR_1, const char *VAR_2,
void *VAR_3, Error **VAR_4)
{ DeviceState *dev = DEVICE(VAR_0); Property *prop = VAR_3; PCIHostDeviceAddress *addr = qdev_get_prop_ptr(dev, prop); char VAR_5[] = "xxxx:xx:xx.x"; char *VAR_6 = VAR_5; int VAR_7 = 0; VAR_7 = snprintf(VAR_5, sizeof(VAR_5), "%04x:%02x:%02x.%d",
addr->domain, addr->bus, addr->slot, addr->function); assert(VAR_7 == sizeof(VAR_5) - 1); visit_type_str(VAR_1, VAR_2, &VAR_6, VAR_4); }