static int pci_apb_map_irq(PCIDevice *pci_dev, int irq_num)

{

    return ((pci_dev->devfn & 0x18) >> 1) + irq_num;

}

static int pci_apb_map_irq(PCIDevice *pci_dev, int irq_num)

{

    return ((pci_dev->devfn & 0x18) >> 1) + irq_num;

}

static int FUNC_0(PCIDevice *VAR_0, int VAR_1)

{

    return ((VAR_0->devfn & 0x18) >> 1) + VAR_1;

}

static int FUNC_0(PCIDevice *VAR_0, int VAR_1)
{ return ((VAR_0->devfn & 0x18) >> 1) + VAR_1; }