Searched refs:old__debugger_ipi (Results 1 – 1 of 1) sorted by relevance
456 static void *old__debugger_ipi; variable466 old__debugger_ipi = __debugger_ipi; in kgdb_arch_init()487 __debugger_ipi = old__debugger_ipi; in kgdb_arch_exit()