diff options
author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 23:55:13 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 19:02:54 +0100 |
commit | 1a81c796689a01b00bc5aea0b3bd3fd672530798 (patch) | |
tree | 07a56408f742c6d97f5406c1c9e735b1cb8ab8f1 /i386/i386/pcb.c | |
parent | f4963a52e96230374826137cce44813c94853e6f (diff) |
i386: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'i386/i386/pcb.c')
-rw-r--r-- | i386/i386/pcb.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/i386/i386/pcb.c b/i386/i386/pcb.c index 82b2faf..a0578d1 100644 --- a/i386/i386/pcb.c +++ b/i386/i386/pcb.c @@ -429,7 +429,7 @@ void pcb_terminate(thread) */ void pcb_collect(thread) - thread_t thread; + const thread_t thread; { } @@ -827,7 +827,7 @@ vm_offset_t set_user_regs(stack_base, stack_size, exec_info, arg_size) vm_offset_t stack_base; /* low address */ vm_offset_t stack_size; - struct exec_info *exec_info; + const struct exec_info *exec_info; vm_size_t arg_size; { vm_offset_t arg_addr; |