Symbol: debugger_ipi
arch/powerpc/include/asm/debug.h
31
DEBUGGER_BOILERPLATE(debugger_ipi)
arch/powerpc/kernel/smp.c
583
debugger_ipi(regs);