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_hdr.h | |
| 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_hdr.h')
| -rw-r--r-- | device/dev_hdr.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/device/dev_hdr.h b/device/dev_hdr.h index 340a2db1..ff7d2ef5 100644 --- a/device/dev_hdr.h +++ b/device/dev_hdr.h @@ -134,16 +134,16 @@ boolean_t dev_map(boolean_t (*)(), mach_port_t); * device name lookup */ extern boolean_t dev_name_lookup( - char * name, - dev_ops_t *ops, /* out */ - int *unit); /* out */ + char * name, + dev_ops_t *ops, /* out */ + int *unit); /* out */ /* * Change an entry in the indirection list. */ extern void dev_set_indirection( - char *name, + const char *name, dev_ops_t ops, - int unit); + int unit); #endif /* _DEVICE_DEV_HDR_H_ */ |