From 8a4a549aa44df339f31042d4200d874e897bce8d Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Tue, 17 Sep 2013 04:44:48 +0200 Subject: remove lint code * device/dev_pager.c [lint]: Remove ifdefs and associated code. --- device/dev_pager.c | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'device') 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); } -- cgit v1.2.3