summaryrefslogtreecommitdiff
path: root/ddb/db_watch.c
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-15 11:48:39 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-15 21:42:30 +0100
commitf885fde0a7177f954893be22efdf8c55c7c40fdb (patch)
tree1052965ca2da8f0e22142205d8fe1bb4de0fd531 /ddb/db_watch.c
parent442227ee5519f307e9f74030a9eeb7aa7983a4bc (diff)
ddb: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'ddb/db_watch.c')
-rw-r--r--ddb/db_watch.c10
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;