Searched refs:old__debugger_ipi (Results 1 – 1 of 1) sorted by relevance
434 static void *old__debugger_ipi; variable444 old__debugger_ipi = __debugger_ipi; in kgdb_arch_init()465 __debugger_ipi = old__debugger_ipi; in kgdb_arch_exit()