diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 23:55:12 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 19:02:20 +0100 |
| commit | f4963a52e96230374826137cce44813c94853e6f (patch) | |
| tree | f2cb67804faa33f4a735b9781f5bf77a830782c4 /device/dev_lookup.c | |
| parent | 68bbdd1e18a87afede6cbdffdb8c7078ed3fa835 (diff) | |
| download | gnumach-f4963a52e96230374826137cce44813c94853e6f.tar.gz gnumach-f4963a52e96230374826137cce44813c94853e6f.tar.bz2 gnumach-f4963a52e96230374826137cce44813c94853e6f.zip | |
device: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'device/dev_lookup.c')
| -rw-r--r-- | device/dev_lookup.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/device/dev_lookup.c b/device/dev_lookup.c index 255102cc..d371b608 100644 --- a/device/dev_lookup.c +++ b/device/dev_lookup.c @@ -71,7 +71,7 @@ struct kmem_cache dev_hdr_cache; */ void dev_number_enter(device) - mach_device_t device; + const mach_device_t device; { queue_t q; @@ -85,7 +85,7 @@ dev_number_enter(device) */ void dev_number_remove(device) - mach_device_t device; + const mach_device_t device; { queue_t q; @@ -99,7 +99,7 @@ dev_number_remove(device) */ mach_device_t dev_number_lookup(ops, devnum) - dev_ops_t ops; + const dev_ops_t ops; int devnum; { queue_t q; @@ -121,7 +121,7 @@ dev_number_lookup(ops, devnum) */ mach_device_t device_lookup(name) - char * name; + char * name; { dev_ops_t dev_ops; int dev_minor; @@ -306,7 +306,7 @@ dev_port_lookup(port) */ ipc_port_t convert_device_to_port(device) - device_t device; + const device_t device; { if (device == DEVICE_NULL) return IP_NULL; |