Searched refs:__debugger_ipi (Results 1 – 4 of 4) sorted by relevance
470 old__debugger_ipi = __debugger_ipi; in kgdb_arch_init()478 __debugger_ipi = kgdb_debugger_ipi; in kgdb_arch_init()491 __debugger_ipi = old__debugger_ipi; in kgdb_arch_exit()
73 int (*__debugger_ipi)(struct pt_regs *regs) __read_mostly; variable81 EXPORT_SYMBOL(__debugger_ipi);
15 extern int (*__debugger_ipi)(struct pt_regs *regs);
3904 __debugger_ipi = xmon_ipi; in xmon_init()3920 __debugger_ipi = NULL; in xmon_init()
