debug_monitor_state
dbg_find_free_slot(struct debug_monitor_state *monitor, enum dbg_t type)
dbg_find_slot(struct debug_monitor_state *monitor, enum dbg_t type,
dbg_setup_breakpoint(struct debug_monitor_state *monitor, vm_offset_t addr)
dbg_remove_breakpoint(struct debug_monitor_state *monitor, vm_offset_t addr)
dbg_setup_watchpoint(struct debug_monitor_state *monitor, vm_offset_t addr,
dbg_remove_watchpoint(struct debug_monitor_state *monitor, vm_offset_t addr,
dbg_register_sync(struct debug_monitor_state *monitor)
static struct debug_monitor_state kernel_monitor = {
static int dbg_setup_breakpoint(struct debug_monitor_state *monitor,
static int dbg_remove_breakpoint(struct debug_monitor_state *monitor,
static int dbg_setup_watchpoint(struct debug_monitor_state *, vm_offset_t,
static int dbg_remove_watchpoint(struct debug_monitor_state *, vm_offset_t,
struct debug_monitor_state *monitor;
struct debug_monitor_state *monitor;
void dbg_register_sync(struct debug_monitor_state *);
struct debug_monitor_state pcb_dbg_regs;
struct debug_monitor_state;