summaryrefslogtreecommitdiff
path: root/device/dev_lookup.c
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-16 23:55:12 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-17 19:02:20 +0100
commitf4963a52e96230374826137cce44813c94853e6f (patch)
treef2cb67804faa33f4a735b9781f5bf77a830782c4 /device/dev_lookup.c
parent68bbdd1e18a87afede6cbdffdb8c7078ed3fa835 (diff)
device: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'device/dev_lookup.c')
-rw-r--r--device/dev_lookup.c10
1 files changed, 5 insertions, 5 deletions
diff --git a/device/dev_lookup.c b/device/dev_lookup.c
index 255102c..d371b60 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;