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