return;
}
-#if 0
-
static void print_APIC_bitfield (int base)
{
unsigned int v;
v = inb(0x4d1) << 8 | inb(0x4d0);
printk(KERN_DEBUG "... PIC ELCR: %04x\n", v);
}
-
-#endif /* 0 */
-
-#else
-void __init print_IO_APIC(void) { }
#endif /* !CONFIG_XEN */
static void __init enable_IO_APIC(void)
return;
}
-#if 0
-
static __apicdebuginit void print_APIC_bitfield (int base)
{
unsigned int v;
v = inb(0x4d1) << 8 | inb(0x4d0);
printk(KERN_DEBUG "... PIC ELCR: %04x\n", v);
}
-
-#endif /* 0 */
-
-#else
-void __init print_IO_APIC(void) { }
#endif /* !CONFIG_XEN */
static void __init enable_IO_APIC(void)
void init_VISWS_APIC_irqs(void);
void setup_IO_APIC(void);
void disable_IO_APIC(void);
-void print_IO_APIC(void);
+#define print_IO_APIC()
int IO_APIC_get_PCI_irq_vector(int bus, int slot, int fn);
void send_IPI(int dest, int vector);
void setup_ioapic_dest(void);
extern void init_VISWS_APIC_irqs(void);
extern void setup_IO_APIC(void);
extern void disable_IO_APIC(void);
-extern void print_IO_APIC(void);
+#define print_IO_APIC()
extern int IO_APIC_get_PCI_irq_vector(int bus, int slot, int fn);
extern void send_IPI(int dest, int vector);
extern void setup_ioapic_dest(void);