|
@@ -135,6 +135,7 @@ extern void init_8259A(int aeoi);
|
|
extern void send_IPI_self(int vector);
|
|
extern void send_IPI_self(int vector);
|
|
extern void init_VISWS_APIC_irqs(void);
|
|
extern void init_VISWS_APIC_irqs(void);
|
|
extern void setup_IO_APIC(void);
|
|
extern void setup_IO_APIC(void);
|
|
|
|
+extern void enable_IO_APIC(void);
|
|
extern void disable_IO_APIC(void);
|
|
extern void disable_IO_APIC(void);
|
|
extern void print_IO_APIC(void);
|
|
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);
|