kgdb_arch_exit 129 include/linux/kgdb.h extern void kgdb_arch_exit(void); kgdb_arch_exit 1615 kernel/kgdb.c kgdb_arch_exit();