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.c | |
parent | 442227ee5519f307e9f74030a9eeb7aa7983a4bc (diff) |
ddb: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'ddb/db_watch.c')
-rw-r--r-- | ddb/db_watch.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/ddb/db_watch.c b/ddb/db_watch.c index 567040c..c8a4286 100644 --- a/ddb/db_watch.c +++ b/ddb/db_watch.c @@ -93,7 +93,7 @@ db_watchpoint_free(watch) void db_set_watchpoint(task, addr, size) - task_t task; + const task_t task; db_addr_t addr; vm_size_t size; { @@ -130,7 +130,7 @@ db_set_watchpoint(task, addr, size) void db_delete_watchpoint(task, addr) - task_t task; + const task_t task; db_addr_t addr; { db_watchpoint_t watch; @@ -179,7 +179,7 @@ db_list_watchpoints(void) static int db_get_task(modif, taskp, addr) - char *modif; + const char *modif; task_t *taskp; db_addr_t addr; { @@ -221,7 +221,7 @@ db_deletewatch_cmd(addr, have_addr, count, modif) db_expr_t addr; int have_addr; db_expr_t count; - char * modif; + const char * modif; { task_t task; @@ -237,7 +237,7 @@ db_watchpoint_cmd(addr, have_addr, count, modif) db_expr_t addr; int have_addr; db_expr_t count; - char * modif; + const char * modif; { vm_size_t size; db_expr_t value; |