i386/kvm: set tsc_khz before configuring Hyper-V CPUID

[qemu/ar7.git] / 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