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/ds_routines.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/ds_routines.h')
| -rw-r--r-- | device/ds_routines.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/device/ds_routines.h b/device/ds_routines.h index 497b6ac1..a68c6c63 100644 --- a/device/ds_routines.h +++ b/device/ds_routines.h @@ -58,11 +58,11 @@ boolean_t ds_write_done(io_req_t); void iowait (io_req_t ior); kern_return_t device_pager_setup( - mach_device_t device, - int prot, - vm_offset_t offset, - vm_size_t size, - mach_port_t *pager); + const mach_device_t device, + int prot, + vm_offset_t offset, + vm_size_t size, + mach_port_t *pager); extern void mach_device_init(void); extern void dev_lookup_init(void); |