summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-09-17 19:35:04 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-21 16:13:37 +0200
commit364aca401a5643267bdf895aa4ce48f1b14f9d9f (patch)
tree54126700ffcde5c53d2dfbed4bbf067fac73ada5
parent4a728608cb8430d1404dce33357cab13c4befc68 (diff)
remove lint code
* device/ds_routines.c [lint]: Remove ifdefs and associated code.
-rw-r--r--device/ds_routines.c13
1 files changed, 0 insertions, 13 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c
index 73571dc..028e700 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);