old__debugger_ipi  459 arch/powerpc/kernel/kgdb.c static void *old__debugger_ipi;
old__debugger_ipi  469 arch/powerpc/kernel/kgdb.c 	old__debugger_ipi = __debugger_ipi;
old__debugger_ipi  490 arch/powerpc/kernel/kgdb.c 	__debugger_ipi = old__debugger_ipi;