|
@@ -193,6 +193,7 @@ static inline unsigned int io_apic_read(unsigned int apic, unsigned int reg)
|
|
extern void setup_IO_APIC(void);
|
|
extern void setup_IO_APIC(void);
|
|
extern void enable_IO_APIC(void);
|
|
extern void enable_IO_APIC(void);
|
|
extern void disable_IO_APIC(void);
|
|
extern void disable_IO_APIC(void);
|
|
|
|
+extern void clear_IO_APIC(void);
|
|
extern void restore_boot_irq_mode(void);
|
|
extern void restore_boot_irq_mode(void);
|
|
extern int IO_APIC_get_PCI_irq_vector(int bus, int devfn, int pin);
|
|
extern int IO_APIC_get_PCI_irq_vector(int bus, int devfn, int pin);
|
|
extern void print_IO_APICs(void);
|
|
extern void print_IO_APICs(void);
|