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_break.h | |
| parent | 442227ee5519f307e9f74030a9eeb7aa7983a4bc (diff) | |
ddb: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'ddb/db_break.h')
| -rw-r--r-- | ddb/db_break.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/ddb/db_break.h b/ddb/db_break.h index e323a5f..ad86119 100644 --- a/ddb/db_break.h +++ b/ddb/db_break.h @@ -71,12 +71,12 @@ struct db_breakpoint { typedef struct db_breakpoint *db_breakpoint_t; -extern db_breakpoint_t db_find_breakpoint( task_t task, db_addr_t addr); -extern boolean_t db_find_breakpoint_here( task_t task, db_addr_t addr); +extern db_breakpoint_t db_find_breakpoint( const task_t task, db_addr_t addr); +extern boolean_t db_find_breakpoint_here( const task_t task, db_addr_t addr); extern void db_set_breakpoints(void); extern void db_clear_breakpoints(void); extern db_thread_breakpoint_t db_find_thread_breakpoint_here - ( task_t task, db_addr_t addr ); + ( const task_t task, db_addr_t addr ); extern db_thread_breakpoint_t db_find_breakpoint_number ( int num, db_breakpoint_t *bkptp); @@ -84,8 +84,8 @@ extern db_breakpoint_t db_set_temp_breakpoint( task_t task, db_addr_t addr); extern void db_delete_temp_breakpoint ( task_t task, db_breakpoint_t bkpt); -extern db_breakpoint_t db_set_breakpoint(task_t task, db_addr_t addr, - int count, thread_t thread, +extern db_breakpoint_t db_set_breakpoint(const task_t task, db_addr_t addr, + int count, const thread_t thread, boolean_t task_bpt); void db_listbreak_cmd(); @@ -96,7 +96,7 @@ void db_breakpoint_cmd( db_expr_t addr, int have_addr, db_expr_t count, - char * modif); + const char * modif); extern void db_check_breakpoint_valid(void); |