diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 19:34:47 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 19:34:47 +0200 |
| commit | a2952398e5de8746a761a59686619d08d376bce3 (patch) | |
| tree | df2373bb1119468873c667624769455c36dc3786 /device/dev_hdr.h | |
| parent | ba1b3afd50913473f3036a63b4a82d7ba5c42009 (diff) | |
| parent | 92e98a7f4d4fa75b286a067e1d1caef514fccb0d (diff) | |
Merge branch 'master' into master-gdb_stubs
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_ */ |