|
@@ -141,6 +141,7 @@ extern void print_IO_APIC(void);
|
|
extern int IO_APIC_get_PCI_irq_vector(int bus, int slot, int fn);
|
|
extern int IO_APIC_get_PCI_irq_vector(int bus, int slot, int fn);
|
|
extern void send_IPI(int dest, int vector);
|
|
extern void send_IPI(int dest, int vector);
|
|
extern void setup_ioapic_dest(void);
|
|
extern void setup_ioapic_dest(void);
|
|
|
|
+extern void native_init_IRQ(void);
|
|
|
|
|
|
extern unsigned long io_apic_irqs;
|
|
extern unsigned long io_apic_irqs;
|
|
|
|
|