diff options
author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-11-09 05:29:01 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-11-09 18:31:41 +0100 |
commit | 24d8170fa18e3bad9ef2fa1e100e34e93a6c1126 (patch) | |
tree | 38a626d0c390757c481d8d40d15f952c8d41dc8e /i386/intel/pmap.c | |
parent | dd0989ad8e7526844fcbc2e26bbcc4cc37a010ac (diff) |
Remove lint code
Diffstat (limited to 'i386/intel/pmap.c')
-rw-r--r-- | i386/intel/pmap.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 490c1d9..c1eca6e 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -2150,9 +2150,6 @@ void pmap_copy(dst_pmap, src_pmap, dst_addr, len, src_addr) vm_size_t len; vm_offset_t src_addr; { -#ifdef lint - dst_pmap++; src_pmap++; dst_addr++; len++; src_addr++; -#endif /* lint */ } #endif /* 0 */ @@ -2303,9 +2300,6 @@ void pmap_deactivate(pmap, th, which_cpu) thread_t th; int which_cpu; { -#ifdef lint - pmap++; th++; which_cpu++; -#endif /* lint */ PMAP_DEACTIVATE(pmap, th, which_cpu); } #endif /* 0 */ @@ -2384,9 +2378,6 @@ pmap_pageable(pmap, start, end, pageable) vm_offset_t end; boolean_t pageable; { -#ifdef lint - pmap++; start++; end++; pageable++; -#endif /* lint */ } /* |