arch/powerpc/include/asm/xmon.h

26

extern __printf(1, 2) void xmon_printf(const char *format, ...);

arch/powerpc/sysdev/xive/common.c

266

xmon_printf("%s idx=%d T=%d %08x %08x ...", name,

arch/powerpc/sysdev/xive/common.c

274

xmon_printf("CPU %d:", cpu);

arch/powerpc/sysdev/xive/common.c

276

xmon_printf("pp=%02x CPPR=%02x ", xc->pending_prio, xc->cppr);

arch/powerpc/sysdev/xive/common.c

283

xmon_printf("IPI=0x%08x %s", xc->hw_ipi, buffer);

arch/powerpc/sysdev/xive/common.c

288

xmon_printf("\n");

arch/powerpc/sysdev/xive/common.c

307

xmon_printf("IRQ 0x%08x : no config rc=%d\n", hw_irq, rc);

arch/powerpc/sysdev/xive/common.c

311

xmon_printf("IRQ 0x%08x : target=0x%x prio=%02x lirq=0x%x ",

arch/powerpc/sysdev/xive/common.c

322

xmon_printf("%s", buffer);

arch/powerpc/sysdev/xive/common.c

325

xmon_printf("\n");

arch/powerpc/xmon/nonstdio.h

10

extern __printf(1, 2) void xmon_printf(const char *fmt, ...);

arch/powerpc/xmon/nonstdio.h

12

#define printf xmon_printf