Symbol: ioapic_bus_string
sys/x86/x86/io_apic.c
113
static const char *ioapic_bus_string(int bus_type);
sys/x86/x86/io_apic.c
258
printf("%s IRQ %d", ioapic_bus_string(intpin->io_bus),
sys/x86/x86/io_apic.c
804
ioapic_bus_string(bus_type));