@@ -978,7 +978,7 @@ __next:
boot_cpu_physical_apicid = get_apic_id();
x86_cpu_to_apicid[0] = get_apic_id();
- init_ioapic_mappings();
+ ioapic_init();
}
/*****************************************************************************
@@ -2537,7 +2537,7 @@ static __init bool bad_ioapic_register(unsigned int idx)
return false;
}
-void __init init_ioapic_mappings(void)
+void __init ioapic_init(void)
{
unsigned long ioapic_phys;
unsigned int i, idx = FIX_IO_APIC_BASE_0;
@@ -180,7 +180,7 @@ extern int io_apic_get_version (int ioapic);
extern int io_apic_get_redir_entries (int ioapic);
extern int io_apic_set_pci_routing (int ioapic, int pin, int irq, int edge_level, int active_high_low);
-extern void init_ioapic_mappings(void);
+extern void ioapic_init(void);
extern void ioapic_suspend(void);
extern void ioapic_resume(void);