Lines Matching defs:XICS_DBG
27 #define XICS_DBG(fmt...) do { } while (0)
29 #define XICS_DBG(fmt...) trace_printk(fmt)
76 XICS_DBG("ics deliver %#x (level: %d)\n", irq, level);
80 XICS_DBG("ics_deliver_irq: IRQ 0x%06x not found !\n", irq);
133 XICS_DBG("resend %#x prio %#x\n", state->number,
186 XICS_DBG("set_xive %#x server %#x prio %#x MP:%d RS:%d\n",
286 XICS_DBG("UPD [%04lx] - C:%02x M:%02x PP: %02x PI:%06x R:%d O:%d\n",
290 XICS_DBG("UPD - C:%02x M:%02x PP: %02x PI:%06x R:%d O:%d\n",
342 XICS_DBG("try deliver %#x(P:%#x) to server %#lx\n", irq, priority,
405 XICS_DBG("icp_deliver_irq: IRQ 0x%06x not found !\n", new_irq);
447 XICS_DBG("irq %#x masked pending\n", new_irq);
614 XICS_DBG("h_xirr vcpu %d xirr %#x\n", vcpu->vcpu_id, xirr);
629 XICS_DBG("h_ipi vcpu %d to server %lu mfrr %#lx\n",
728 XICS_DBG("h_cppr vcpu %d cppr %#lx\n", vcpu->vcpu_id, cppr);
796 XICS_DBG("ios_eoi: IRQ 0x%06x not found !\n", irq);
823 XICS_DBG("h_eoi vcpu %d eoi %#lx\n", vcpu->vcpu_id, xirr);
853 XICS_DBG("XICS_RM: H_%x completing, act: %x state: %lx tgt: %p\n",
1091 XICS_DBG("created server for vcpu %d\n", vcpu->vcpu_id);