[gnumach] 33/56: remove lint code

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch master
in repository gnumach.

commit 8a4a549aa44df339f31042d4200d874e897bce8d
Author: Marin Ramesa <address@hidden>
Date:   Tue Sep 17 04:44:48 2013 +0200

    remove lint code
    
    * device/dev_pager.c [lint]: Remove ifdefs and associated code.
---
 device/dev_pager.c |   12 ------------
 1 file changed, 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);
 }

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/gnumach.git