static void spapr_phb_remove_pci_device(sPAPRDRConnector *drc,

                                        sPAPRPHBState *phb,

                                        PCIDevice *pdev,

                                        Error **errp)

{

    sPAPRDRConnectorClass *drck = SPAPR_DR_CONNECTOR_GET_CLASS(drc);



    drck->detach(drc, DEVICE(pdev), spapr_phb_remove_pci_device_cb, phb, errp);

}

static void spapr_phb_remove_pci_device(sPAPRDRConnector *drc,

                                        sPAPRPHBState *phb,

                                        PCIDevice *pdev,

                                        Error **errp)

{

    sPAPRDRConnectorClass *drck = SPAPR_DR_CONNECTOR_GET_CLASS(drc);



    drck->detach(drc, DEVICE(pdev), spapr_phb_remove_pci_device_cb, phb, errp);

}

static void FUNC_0(sPAPRDRConnector *VAR_0,

                                        sPAPRPHBState *VAR_1,

                                        PCIDevice *VAR_2,

                                        Error **VAR_3)

{

    sPAPRDRConnectorClass *drck = SPAPR_DR_CONNECTOR_GET_CLASS(VAR_0);



    drck->detach(VAR_0, DEVICE(VAR_2), spapr_phb_remove_pci_device_cb, VAR_1, VAR_3);

}

static void FUNC_0(sPAPRDRConnector *VAR_0,
sPAPRPHBState *VAR_1,
PCIDevice *VAR_2,
Error **VAR_3)
{ sPAPRDRConnectorClass *drck = SPAPR_DR_CONNECTOR_GET_CLASS(VAR_0); drck->detach(VAR_0, DEVICE(VAR_2), spapr_phb_remove_pci_device_cb, VAR_1, VAR_3); }