diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 23:55:15 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 19:03:28 +0100 |
| commit | 827c01fadb98e77f692d39d0fb34a1944e43c99b (patch) | |
| tree | 46c60239eaddbcfb2f79195989c23b16c3ce55d8 /kern/mach_clock.c | |
| parent | ece37d66ae394a0d783f3cba8a71d7b61735b0aa (diff) | |
kern: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'kern/mach_clock.c')
| -rw-r--r-- | kern/mach_clock.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/kern/mach_clock.c b/kern/mach_clock.c index f167291..c68b460 100644 --- a/kern/mach_clock.c +++ b/kern/mach_clock.c @@ -387,7 +387,7 @@ record_time_stamp (time_value_t *stamp) */ kern_return_t host_get_time(host, current_time) - host_t host; + const host_t host; time_value_t *current_time; /* OUT */ { if (host == HOST_NULL) @@ -406,7 +406,7 @@ host_get_time(host, current_time) */ kern_return_t host_set_time(host, new_time) - host_t host; + const host_t host; time_value_t new_time; { spl_t s; @@ -444,7 +444,7 @@ host_set_time(host, new_time) */ kern_return_t host_adjust_time(host, new_adjustment, old_adjustment) - host_t host; + const host_t host; time_value_t new_adjustment; time_value_t *old_adjustment; /* OUT */ { @@ -527,9 +527,9 @@ timer_elt_data_t timeout_timers[NTIMERS]; * interval: timeout interval, in hz. */ void timeout(fcn, param, interval) - void (*fcn)( void * param ); - void * param; - int interval; + void (*fcn)( void * param ); + void * param; + int interval; { spl_t s; timer_elt_t elt; @@ -555,8 +555,8 @@ void timeout(fcn, param, interval) * and removed. */ boolean_t untimeout(fcn, param) - void (*fcn)( void * param ); - void * param; + void (*fcn)( void * param ); + const void * param; { spl_t s; timer_elt_t elt; |