diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-09-17 04:44:48 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-09-21 16:10:46 +0200 |
| commit | 8a4a549aa44df339f31042d4200d874e897bce8d (patch) | |
| tree | 6cd9a70e62381e496ac95dcd6478bd8bddc9bcf0 | |
| parent | 933a6b5db9a1823668ba17d496423c74c4c2bee8 (diff) | |
remove lint code
* device/dev_pager.c [lint]: Remove ifdefs and associated code.
| -rw-r--r-- | device/dev_pager.c | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index 2c33d02c..1a60045c 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); } |