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);