static void *acpi_set_bsel(PCIBus *bus, void *opaque)

{

    unsigned *bsel_alloc = opaque;

    unsigned *bus_bsel;



    if (qbus_is_hotpluggable(BUS(bus))) {

        bus_bsel = g_malloc(sizeof *bus_bsel);



        *bus_bsel = (*bsel_alloc)++;

        object_property_add_uint32_ptr(OBJECT(bus), ACPI_PCIHP_PROP_BSEL,

                                       bus_bsel, NULL);

    }



    return bsel_alloc;

}

static void *acpi_set_bsel(PCIBus *bus, void *opaque)

{

    unsigned *bsel_alloc = opaque;

    unsigned *bus_bsel;



    if (qbus_is_hotpluggable(BUS(bus))) {

        bus_bsel = g_malloc(sizeof *bus_bsel);



        *bus_bsel = (*bsel_alloc)++;

        object_property_add_uint32_ptr(OBJECT(bus), ACPI_PCIHP_PROP_BSEL,

                                       bus_bsel, NULL);

    }



    return bsel_alloc;

}

                                       bus_bsel, NULL);                                        bus_bsel, NULL);
static void *FUNC_0(PCIBus *VAR_0, void *VAR_1)

{

    unsigned *VAR_2 = VAR_1;

    unsigned *VAR_3;



    if (qbus_is_hotpluggable(BUS(VAR_0))) {

        VAR_3 = g_malloc(sizeof *VAR_3);



        *VAR_3 = (*VAR_2)++;

        object_property_add_uint32_ptr(OBJECT(VAR_0), ACPI_PCIHP_PROP_BSEL,

                                       VAR_3, NULL);

    }



    return VAR_2;

}

static void *FUNC_0(PCIBus *VAR_0, void *VAR_1)
{ unsigned *VAR_2 = VAR_1; unsigned *VAR_3; if (qbus_is_hotpluggable(BUS(VAR_0))) { VAR_3 = g_malloc(sizeof *VAR_3); *VAR_3 = (*VAR_2)++; object_property_add_uint32_ptr(OBJECT(VAR_0), ACPI_PCIHP_PROP_BSEL,
VAR_3, NULL); } return VAR_2; }