diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-15 11:48:39 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-15 21:42:30 +0100 |
| commit | f885fde0a7177f954893be22efdf8c55c7c40fdb (patch) | |
| tree | 1052965ca2da8f0e22142205d8fe1bb4de0fd531 /ddb/db_watch.h | |
| parent | 442227ee5519f307e9f74030a9eeb7aa7983a4bc (diff) | |
ddb: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'ddb/db_watch.h')
| -rw-r--r-- | ddb/db_watch.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/ddb/db_watch.h b/ddb/db_watch.h index 8e0f32f..7ef1a20 100644 --- a/ddb/db_watch.h +++ b/ddb/db_watch.h @@ -49,12 +49,12 @@ typedef struct db_watchpoint { } *db_watchpoint_t; extern boolean_t db_find_watchpoint(vm_map_t map, db_addr_t addr, - db_regs_t *regs); + db_regs_t *regs); extern void db_set_watchpoints(void); extern void db_clear_watchpoints(void); -extern void db_set_watchpoint(task_t task, db_addr_t addr, vm_size_t size); -extern void db_delete_watchpoint(task_t task, db_addr_t addr); +extern void db_set_watchpoint(const task_t task, db_addr_t addr, vm_size_t size); +extern void db_delete_watchpoint(const task_t task, db_addr_t addr); extern void db_list_watchpoints(void); void db_listwatch_cmd(void); @@ -63,13 +63,13 @@ void db_deletewatch_cmd( db_expr_t addr, int have_addr, db_expr_t count, - char * modif); + const char * modif); void db_watchpoint_cmd( db_expr_t addr, int have_addr, db_expr_t count, - char * modif); + const char * modif); #endif /* _DDB_DB_WATCH_ */ |