8 #include <linux/kernel.h>
16 static int irqmap_personal_server[]
__initdata = {
28 if (line > 0x40 && line <= 0x5f) {
33 return irqmap_personal_server[(line & 0x1f) - 8];
34 }
else if (line == 0) {
38 return irqmap_personal_server[(line - 1) & 3];
42 .map_irq = personal_server_map_irq,
50 static int __init personal_pci_init(
void)
52 if (machine_is_personal_server())