Searched refs:kernel_debugger (Results 1 – 3 of 3) sorted by relevance
100 int kernel_debugger; variable570 kernel_debugger = 1; in captured_main()1057 kernel_debugger = 0; in gdb_main()
361 gdb_assert (kernel_debugger || pid != 0); in find_inferior_pid()528 if (kernel_debugger || pid != 0) in inferior_pid_to_str()
798 extern int kernel_debugger;