apic_pr_debug
apic_pr_debug("Synchronizing Arb IDs.\n");
apic_pr_debug("APIC error on CPU%d: %02x", smp_processor_id(), v);
apic_pr_debug("Querying PCI -> IRQ mapping bus:%d, slot:%d, pin:%d.\n",