summaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-09-17 04:44:48 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-21 16:10:46 +0200
commit8a4a549aa44df339f31042d4200d874e897bce8d (patch)
tree6cd9a70e62381e496ac95dcd6478bd8bddc9bcf0 /device
parent933a6b5db9a1823668ba17d496423c74c4c2bee8 (diff)
remove lint code
* device/dev_pager.c [lint]: Remove ifdefs and associated code.
Diffstat (limited to 'device')
-rw-r--r--device/dev_pager.c12
1 files changed, 0 insertions, 12 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c
index 2c33d02..1a60045 100644
--- a/device/dev_pager.c
+++ b/device/dev_pager.c
@@ -331,10 +331,6 @@ kern_return_t device_pager_data_request(
{
dev_pager_t ds;
-#ifdef lint
- protection_required++;
-#endif /* lint */
-
if (device_pager_debug)
printf("(device_pager)data_request: pager=%p, offset=0x%lx, length=0x%x\n",
pager, offset, length);
@@ -693,10 +689,6 @@ kern_return_t device_pager_data_unlock(
vm_size_t length,
vm_prot_t desired_access)
{
-#ifdef lint
- memory_object++; memory_control_port++; offset++; length++; desired_access++;
-#endif /* lint */
-
panic("(device_pager)data_unlock: called");
return (KERN_FAILURE);
}
@@ -707,10 +699,6 @@ kern_return_t device_pager_lock_completed(
vm_offset_t offset,
vm_size_t length)
{
-#ifdef lint
- memory_object++; pager_request_port++; offset++; length++;
-#endif /* lint */
-
panic("(device_pager)lock_completed: called");
return (KERN_FAILURE);
}