Make some arm64 debug monitor functions static

These are only used within debug_monitor.c so can become static.

Sponsored by:	Arm Ltd
This commit is contained in:
Andrew Turner 2023-05-22 14:38:08 +01:00
parent 65e55a0a2a
commit 51fc92e68e
2 changed files with 7 additions and 5 deletions

View File

@ -62,6 +62,11 @@ static struct debug_monitor_state kernel_monitor = {
.dbg_flags = DBGMON_KERNEL .dbg_flags = DBGMON_KERNEL
}; };
static int dbg_setup_watchpoint(struct debug_monitor_state *, vm_offset_t,
vm_size_t, enum dbg_access_t);
static int dbg_remove_watchpoint(struct debug_monitor_state *, vm_offset_t,
vm_size_t);
/* Called from the exception handlers */ /* Called from the exception handlers */
void dbg_monitor_enter(struct thread *); void dbg_monitor_enter(struct thread *);
void dbg_monitor_exit(struct thread *, struct trapframe *); void dbg_monitor_exit(struct thread *, struct trapframe *);
@ -380,7 +385,7 @@ dbg_find_slot(struct debug_monitor_state *monitor, enum dbg_t type,
return (-1); return (-1);
} }
int static int
dbg_setup_watchpoint(struct debug_monitor_state *monitor, vm_offset_t addr, dbg_setup_watchpoint(struct debug_monitor_state *monitor, vm_offset_t addr,
vm_size_t size, enum dbg_access_t access) vm_size_t size, enum dbg_access_t access)
{ {
@ -447,7 +452,7 @@ dbg_setup_watchpoint(struct debug_monitor_state *monitor, vm_offset_t addr,
return (0); return (0);
} }
int static int
dbg_remove_watchpoint(struct debug_monitor_state *monitor, vm_offset_t addr, dbg_remove_watchpoint(struct debug_monitor_state *monitor, vm_offset_t addr,
vm_size_t size) vm_size_t size)
{ {

View File

@ -56,9 +56,6 @@ enum dbg_access_t {
void dbg_monitor_init(void); void dbg_monitor_init(void);
void dbg_register_sync(struct debug_monitor_state *); void dbg_register_sync(struct debug_monitor_state *);
int dbg_setup_watchpoint(struct debug_monitor_state *, vm_offset_t, vm_size_t,
enum dbg_access_t);
int dbg_remove_watchpoint(struct debug_monitor_state *, vm_offset_t, vm_size_t);
#ifdef DDB #ifdef DDB
void dbg_show_watchpoint(void); void dbg_show_watchpoint(void);