17 #include <linux/linkage.h>
20 #ifdef CONFIG_HAVE_ARCH_KGDB
63 BP_HARDWARE_BREAKPOINT,
78 unsigned long bpt_addr;
80 enum kgdb_bptype
type;
81 enum kgdb_bpstate
state;
84 struct dbg_reg_def_t {
90 #ifndef DBG_MAX_REG_NUM
91 #define DBG_MAX_REG_NUM 0
97 #ifndef KGDB_MAX_BREAKPOINTS
98 # define KGDB_MAX_BREAKPOINTS 1000
101 #define KGDB_HW_BREAKPOINT 1
176 char *remcom_in_buffer,
177 char *remcom_out_buffer,
249 int (*set_breakpoint)(
unsigned long,
char *);
250 int (*remove_breakpoint)(
unsigned long,
char *);
251 int (*set_hw_breakpoint)(
unsigned long,
int,
enum kgdb_bptype);
252 int (*remove_hw_breakpoint)(
unsigned long,
int,
enum kgdb_bptype);
257 void (*enable_nmi)(
bool on);
289 #ifdef CONFIG_SERIAL_KGDB_NMI
318 #define in_dbg_master() \
319 (raw_smp_processor_id() == atomic_read(&kgdb_active))
323 #define in_dbg_master() (0)
324 #define dbg_late_init()