diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-09-17 19:35:04 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-09-21 16:13:37 +0200 |
| commit | 364aca401a5643267bdf895aa4ce48f1b14f9d9f (patch) | |
| tree | 54126700ffcde5c53d2dfbed4bbf067fac73ada5 | |
| parent | 4a728608cb8430d1404dce33357cab13c4befc68 (diff) | |
remove lint code
* device/ds_routines.c [lint]: Remove ifdefs and associated code.
| -rw-r--r-- | device/ds_routines.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index 73571dce..028e700b 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -1080,11 +1080,6 @@ device_read(device, reply_port, reply_port_type, mode, recnum, io_req_t ior; io_return_t result; -#ifdef lint - *data = *data; - *data_count = *data_count; -#endif /* lint */ - if (device->state != DEV_STATE_OPEN) return (D_NO_SUCH_DEVICE); @@ -1162,11 +1157,6 @@ device_read_inband(device, reply_port, reply_port_type, mode, recnum, io_req_t ior; io_return_t result; -#ifdef lint - *data = *data; - *data_count = *data_count; -#endif /* lint */ - if (device->state != DEV_STATE_OPEN) return (D_NO_SUCH_DEVICE); @@ -1426,9 +1416,6 @@ device_map(device, protection, offset, size, pager, unmap) ipc_port_t *pager; /* out */ boolean_t unmap; /* ? */ { -#ifdef lint - unmap = unmap; -#endif /* lint */ if (protection & ~VM_PROT_ALL) return (KERN_INVALID_ARGUMENT); |