apic_dbg
apic_dbg("IOAPIC %d:\n", apic);
apic_dbg("%s, remapped, I(%04X), Z(%X)\n", buf,
apic_dbg("%s, %s, D(%02X%02X), M(%1d)\n", buf,
apic_dbg("IO APIC #%d......\n", mpc_ioapic_id(ioapic_idx));
apic_dbg(".... register #00: %08X\n", reg_00.raw);
apic_dbg("....... : physical APIC id: %02X\n", reg_00.bits.ID);
apic_dbg("....... : Delivery Type: %X\n", reg_00.bits.delivery_type);
apic_dbg("....... : LTS : %X\n", reg_00.bits.LTS);
apic_dbg(".... register #01: %08X\n", *(int *)®_01);
apic_dbg("....... : max redirection entries: %02X\n", reg_01.bits.entries);
apic_dbg("....... : PRQ implemented: %X\n", reg_01.bits.PRQ);
apic_dbg("....... : IO APIC version: %02X\n", reg_01.bits.version);
apic_dbg(".... register #02: %08X\n", reg_02.raw);
apic_dbg("....... : arbitration: %02X\n", reg_02.bits.arbitration);
apic_dbg(".... register #03: %08X\n", reg_03.raw);
apic_dbg("....... : Boot DT : %X\n", reg_03.bits.boot_DT);
apic_dbg(".... IRQ redirection table:\n");
apic_dbg("number of MP IRQ sources: %d.\n", mp_irq_entries);
apic_dbg("number of IO-APIC #%d registers: %d.\n",
apic_dbg("IRQ to pin mappings:\n");
apic_dbg("IRQ%d ", irq);