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