summaryrefslogtreecommitdiff
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
parentdd0989ad8e7526844fcbc2e26bbcc4cc37a010ac (diff)
Remove lint code
-rw-r--r--i386/i386/ast_check.c6
-rw-r--r--i386/i386at/model_dep.c4
-rw-r--r--i386/intel/pmap.c9
-rw-r--r--kern/assert.h4
-rw-r--r--kern/debug.c3
-rw-r--r--kern/machine.c6
-rw-r--r--kern/macro_help.h5
-rw-r--r--kern/processor.c6
-rw-r--r--kern/syscall_subr.c4
-rw-r--r--vm/memory_object.c5
-rw-r--r--vm/vm_object.c12
11 files changed, 0 insertions, 64 deletions
diff --git a/i386/i386/ast_check.c b/i386/i386/ast_check.c
index 982c705..9afb902 100644
--- a/i386/i386/ast_check.c
+++ b/i386/i386/ast_check.c
@@ -40,9 +40,6 @@
init_ast_check(processor)
processor_t processor;
{
-#ifdef lint
- processor++;
-#endif /* lint */
}
/*
@@ -51,9 +48,6 @@ init_ast_check(processor)
cause_ast_check(processor)
processor_t processor;
{
-#ifdef lint
- processor++;
-#endif /* lint */
}
#endif /* NCPUS > 1 */
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index d97f085..2bc1996 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -625,10 +625,6 @@ timemmap(dev,off,prot)
{
extern time_value_t *mtime;
-#ifdef lint
- dev++; off++;
-#endif /* lint */
-
if (prot & VM_PROT_WRITE) return (-1);
return (i386_btop(pmap_extract(pmap_kernel(), (vm_offset_t) mtime)));
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 */
}
/*
diff --git a/kern/assert.h b/kern/assert.h
index 2829728..d2bb56e 100644
--- a/kern/assert.h
+++ b/kern/assert.h
@@ -44,11 +44,7 @@ MACRO_BEGIN \
Assert(#ex, __FILE__, __LINE__); \
MACRO_END
-#ifdef lint
-#define assert_static(x)
-#else /* lint */
#define assert_static(x) assert(x)
-#endif /* lint */
#else /* MACH_ASSERT */
#define assert(ex)
diff --git a/kern/debug.c b/kern/debug.c
index 7f6e555..33e64f3 100644
--- a/kern/debug.c
+++ b/kern/debug.c
@@ -199,9 +199,6 @@ log(int level, const char *fmt, ...)
{
va_list listp;
-#ifdef lint
- level++;
-#endif
va_start(listp, fmt);
_doprnt(fmt, listp, do_cnputc, 0, 0);
va_end(listp);
diff --git a/kern/machine.c b/kern/machine.c
index c2a19b9..e0ceb1a 100644
--- a/kern/machine.c
+++ b/kern/machine.c
@@ -320,9 +320,6 @@ processor_t processor;
processor_set_t new_pset;
boolean_t wait;
{
-#ifdef lint
- processor++; new_pset++; wait++;
-#endif
return KERN_FAILURE;
}
@@ -668,9 +665,6 @@ processor_t processor;
processor_set_t new_pset;
boolean_t wait;
{
-#ifdef lint
- processor++; new_pset++; wait++;
-#endif /* lint */
return(KERN_FAILURE);
}
diff --git a/kern/macro_help.h b/kern/macro_help.h
index a3d156b..7ce171f 100644
--- a/kern/macro_help.h
+++ b/kern/macro_help.h
@@ -37,13 +37,8 @@
#include <mach/boolean.h>
-#ifdef lint
-boolean_t NEVER;
-boolean_t ALWAYS;
-#else /* lint */
#define NEVER FALSE
#define ALWAYS TRUE
-#endif /* lint */
#define MACRO_BEGIN ({
#define MACRO_END })
diff --git a/kern/processor.c b/kern/processor.c
index 1986860..55daf7f 100644
--- a/kern/processor.c
+++ b/kern/processor.c
@@ -647,18 +647,12 @@ processor_set_create(
processor_set_t *new_set,
processor_set_t *new_name)
{
-#ifdef lint
- host++; new_set++; new_name++;
-#endif /* lint */
return KERN_FAILURE;
}
kern_return_t processor_set_destroy(
processor_set_t pset)
{
-#ifdef lint
- pset++;
-#endif /* lint */
return KERN_FAILURE;
}
diff --git a/kern/syscall_subr.c b/kern/syscall_subr.c
index ae2d7d7..1a0ab93 100644
--- a/kern/syscall_subr.c
+++ b/kern/syscall_subr.c
@@ -113,10 +113,6 @@ boolean_t swtch_pri(pri)
register thread_t thread = current_thread();
register processor_t myprocessor;
-#ifdef lint
- pri++;
-#endif /* lint */
-
#if NCPUS > 1
myprocessor = current_processor();
if (myprocessor->runq.count == 0 &&
diff --git a/vm/memory_object.c b/vm/memory_object.c
index e281c6a..8315182 100644
--- a/vm/memory_object.c
+++ b/vm/memory_object.c
@@ -337,11 +337,6 @@ kern_return_t memory_object_data_error(object, offset, size, error_value)
if (size != round_page(size))
return(KERN_INVALID_ARGUMENT);
-#ifdef lint
- /* Error value is ignored at this time */
- error_value++;
-#endif
-
vm_object_lock(object);
offset -= object->paging_offset;
diff --git a/vm/vm_object.c b/vm/vm_object.c
index 18a909f..600aff2 100644
--- a/vm/vm_object.c
+++ b/vm/vm_object.c
@@ -813,10 +813,6 @@ kern_return_t memory_object_destroy(
ipc_port_t old_object, old_name;
pager_request_t old_control;
-#ifdef lint
- reason++;
-#endif /* lint */
-
if (object == VM_OBJECT_NULL)
return KERN_SUCCESS;
@@ -1257,10 +1253,6 @@ boolean_t vm_object_copy_temporary(
{
vm_object_t object = *_object;
-#ifdef lint
- ++*_offset;
-#endif /* lint */
-
if (object == VM_OBJECT_NULL) {
*_src_needs_copy = FALSE;
*_dst_needs_copy = FALSE;
@@ -2823,10 +2815,6 @@ boolean_t vm_object_coalesce(
{
vm_size_t newsize;
-#ifdef lint
- next_offset++;
-#endif /* lint */
-
if (next_object != VM_OBJECT_NULL) {
return FALSE;
}