xmon_printf        28 arch/powerpc/include/asm/xmon.h extern __printf(1, 2) void xmon_printf(const char *format, ...);
xmon_printf       234 arch/powerpc/sysdev/xive/common.c 	xmon_printf("%s idx=%d T=%d %08x %08x ...", name,
xmon_printf       242 arch/powerpc/sysdev/xive/common.c 	xmon_printf("CPU %d:", cpu);
xmon_printf       244 arch/powerpc/sysdev/xive/common.c 		xmon_printf("pp=%02x CPPR=%02x ", xc->pending_prio, xc->cppr);
xmon_printf       250 arch/powerpc/sysdev/xive/common.c 			xmon_printf("IPI=0x%08x PQ=%c%c ", xc->hw_ipi,
xmon_printf       257 arch/powerpc/sysdev/xive/common.c 	xmon_printf("\n");
xmon_printf       273 arch/powerpc/sysdev/xive/common.c 		xmon_printf("IRQ 0x%08x : no config rc=%d\n", hw_irq, rc);
xmon_printf       277 arch/powerpc/sysdev/xive/common.c 	xmon_printf("IRQ 0x%08x : target=0x%x prio=%02x lirq=0x%x ",
xmon_printf       284 arch/powerpc/sysdev/xive/common.c 		xmon_printf("PQ=%c%c",
xmon_printf       289 arch/powerpc/sysdev/xive/common.c 	xmon_printf("\n");
xmon_printf        10 arch/powerpc/xmon/nonstdio.h extern __printf(1, 2) void xmon_printf(const char *fmt, ...);
xmon_printf        12 arch/powerpc/xmon/nonstdio.h #define printf	xmon_printf