summaryrefslogtreecommitdiff
path: root/i386/intel/pmap.c
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-11-09 05:29:01 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-11-09 18:31:41 +0100
commit24d8170fa18e3bad9ef2fa1e100e34e93a6c1126 (patch)
tree38a626d0c390757c481d8d40d15f952c8d41dc8e /i386/intel/pmap.c
parentdd0989ad8e7526844fcbc2e26bbcc4cc37a010ac (diff)
Remove lint code
Diffstat (limited to 'i386/intel/pmap.c')
-rw-r--r--i386/intel/pmap.c9
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 */
}
/*