gnu/usr.bin/binutils/gdb/fbsd-kgdb.h

   1 /* Native-kernel debugging definitions for FreeBSD.
   2  * $FreeBSD$
   3  */
   4
   5 #ifndef FBSD_KGDB_H
   6 #define FBSD_KGDB_H
   7
   8 extern int kernel_debugging;
   9 extern int kernel_writablecore;
  10 extern struct target_so_ops kgdb_so_ops;
  11
  12 #define ADDITIONAL_OPTIONS \
  13        {"kernel", no_argument, &kernel_debugging, 1}, \
  14        {"k", no_argument, &kernel_debugging, 1}, \
  15        {"wcore", no_argument, &kernel_writablecore, 1}, \
  16        {"w", no_argument, &kernel_writablecore, 1},
  17
  18 #define ADDITIONAL_OPTION_HELP \
  19        "\
  20   --kernel           Enable kernel debugging.\n\
  21   --wcore            Make core file writable (only works for /dev/mem).\n\
  22                      This option only works while debugging a kernel !!\n\
  23 "
  24
  25 #define DEFAULT_PROMPT kernel_debugging?"(kgdb) ":"(gdb) "
  26
  27 /* misuse START_PROGRESS to test whether we're running as kgdb */
  28 /* START_PROGRESS is called at the top of main */
  29 #undef START_PROGRESS
  30 #define START_PROGRESS(STR,N) \
  31   if (!strcmp (STR, "kgdb")) \
  32      kernel_debugging = 1;
  33
  34 #endif /* FBSD_KGDB_H */