x86: let setup_arch call init_apic_mappings for 32bit
[h-e-n] / include / asm-x86 / io_apic.h
index 8b1f568..14f82bb 100644 (file)
@@ -186,6 +186,7 @@ extern void ioapic_init_mappings(void);
 #else  /* !CONFIG_X86_IO_APIC */
 #define io_apic_assign_pci_irqs 0
 static const int timer_through_8259 = 0;
+static inline void ioapic_init_mappings(void) { }
 #endif
 
 #endif