Searched refs:print_IO_APIC (Results 1 – 1 of 1) sorted by relevance
1621 __apicdebuginit(void) print_IO_APIC(int ioapic_idx) in print_IO_APIC() function1751 print_IO_APIC(ioapic_idx); in print_IO_APICs()