path: root/include/hw/pci-host/ppce500.h

#ifndef PCI_HOST_PPCE500_H
#define PCI_HOST_PPCE500_H

static inline int ppce500_pci_map_irq_slot(int devno, int irq_num)
{
    return (devno + irq_num) % 4;
}

#endif