Searched refs:old__debugger_ipi (Results 1 – 1 of 1) sorted by relevance
435 static void *old__debugger_ipi; variable445 old__debugger_ipi = __debugger_ipi; in kgdb_arch_init()466 __debugger_ipi = old__debugger_ipi; in kgdb_arch_exit()