diff options
| -rw-r--r-- | device/cirbuf.c | 2 | ||||
| -rw-r--r-- | i386/i386/debug.h | 2 | ||||
| -rw-r--r-- | i386/i386/debug_i386.c | 2 | ||||
| -rw-r--r-- | kern/sched_prim.h | 4 |
4 files changed, 8 insertions, 2 deletions
diff --git a/device/cirbuf.c b/device/cirbuf.c index dfb06df1..391297ce 100644 --- a/device/cirbuf.c +++ b/device/cirbuf.c @@ -42,6 +42,8 @@ /* if c_cl == c_cf - 1, buffer is full */ #if DEBUG +#include <mach/boolean.h> + boolean_t cb_check_enable = FALSE; #define CB_CHECK(cb) if (cb_check_enable) cb_check(cb) diff --git a/i386/i386/debug.h b/i386/i386/debug.h index e94649bb..84397ba8 100644 --- a/i386/i386/debug.h +++ b/i386/i386/debug.h @@ -23,10 +23,12 @@ #ifndef _I386_DEBUG_ #define _I386_DEBUG_ +#ifndef __ASSEMBLER__ /* Dump a saved state. Probably a good idea to have this around even when DEBUG isn't turned on. */ void dump_ss(const struct i386_saved_state *st); +#endif /* __ASSEMBLER__ */ #ifdef DEBUG diff --git a/i386/i386/debug_i386.c b/i386/i386/debug_i386.c index 76578081..f0fe2aef 100644 --- a/i386/i386/debug_i386.c +++ b/i386/i386/debug_i386.c @@ -128,7 +128,7 @@ debug_trace_dump(void) splx(s); } -#include "syscall_sw.h" +#include <kern/syscall_sw.h> int syscall_trace = 0; diff --git a/kern/sched_prim.h b/kern/sched_prim.h index bb1865cd..dfb2f54b 100644 --- a/kern/sched_prim.h +++ b/kern/sched_prim.h @@ -176,7 +176,9 @@ void do_thread_scan(void); thread_t choose_pset_thread(processor_t myprocessor, processor_set_t pset); #if DEBUG -void checkrq(run_queue_t rq, char *msg); +#include <kern/sched.h> /* for run_queue_t */ + +void checkrq(run_queue_t rq, const char *msg); void thread_check(thread_t th, run_queue_t rq); #endif /* DEBUG */ |