static int pci_pbm_map_irq(PCIDevice *pci_dev, int irq_num)

{

    int bus_offset;

    if (pci_dev->devfn & 1)

        bus_offset = 16;

    else

        bus_offset = 0;

    return (bus_offset + (PCI_SLOT(pci_dev->devfn) << 2) + irq_num) & 0x1f;

}

static int pci_pbm_map_irq(PCIDevice *pci_dev, int irq_num)

{

    int bus_offset;

    if (pci_dev->devfn & 1)

        bus_offset = 16;

    else

        bus_offset = 0;

    return (bus_offset + (PCI_SLOT(pci_dev->devfn) << 2) + irq_num) & 0x1f;

}

static int FUNC_0(PCIDevice *VAR_0, int VAR_1)

{

    int VAR_2;

    if (VAR_0->devfn & 1)

        VAR_2 = 16;

    else

        VAR_2 = 0;

    return (VAR_2 + (PCI_SLOT(VAR_0->devfn) << 2) + VAR_1) & 0x1f;

}

static int FUNC_0(PCIDevice *VAR_0, int VAR_1)
{ int VAR_2; if (VAR_0->devfn & 1)
VAR_2 = 16; else
VAR_2 = 0; return (VAR_2 + (PCI_SLOT(VAR_0->devfn) << 2) + VAR_1) & 0x1f; }