static void build_pci_bus_state_cleanup(AcpiBuildPciBusHotplugState *state)

{

    build_free_array(state->device_table);

    build_free_array(state->notify_table);

}

static void build_pci_bus_state_cleanup(AcpiBuildPciBusHotplugState *state)

{

    build_free_array(state->device_table);

    build_free_array(state->notify_table);

}

static void FUNC_0(AcpiBuildPciBusHotplugState *VAR_0)

{

    build_free_array(VAR_0->device_table);

    build_free_array(VAR_0->notify_table);

}

static void FUNC_0(AcpiBuildPciBusHotplugState *VAR_0)
{ build_free_array(VAR_0->device_table); build_free_array(VAR_0->notify_table); }