Searched refs:old__debugger_ipi (Results 1 – 1 of 1) sorted by relevance
459 static void *old__debugger_ipi; variable469 old__debugger_ipi = __debugger_ipi; in kgdb_arch_init()490 __debugger_ipi = old__debugger_ipi; in kgdb_arch_exit()
