summaryrefslogtreecommitdiff
path: root/kern
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 /kern
parentdd0989ad8e7526844fcbc2e26bbcc4cc37a010ac (diff)
Remove lint code
Diffstat (limited to 'kern')
-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
6 files changed, 0 insertions, 28 deletions
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 &&