static void pxb_dev_exitfn(PCIDevice *pci_dev)

{

    PXBDev *pxb = PXB_DEV(pci_dev);



    pxb_dev_list = g_list_remove(pxb_dev_list, pxb);

}

static void pxb_dev_exitfn(PCIDevice *pci_dev)

{

    PXBDev *pxb = PXB_DEV(pci_dev);



    pxb_dev_list = g_list_remove(pxb_dev_list, pxb);

}

static void FUNC_0(PCIDevice *VAR_0)

{

    PXBDev *pxb = PXB_DEV(VAR_0);



    pxb_dev_list = g_list_remove(pxb_dev_list, pxb);

}

static void FUNC_0(PCIDevice *VAR_0)
{ PXBDev *pxb = PXB_DEV(VAR_0); pxb_dev_list = g_list_remove(pxb_dev_list, pxb); }