55d379d12cb416041856c2259b61e3ef57de37af
[dragonfly.git] / sys / sys / thread.h
1 /*
2  * SYS/THREAD.H
3  *
4  *      Implements the architecture independant portion of the LWKT 
5  *      subsystem.
6  *
7  * Types which must already be defined when this header is included by
8  * userland:    struct md_thread
9  */
10
11 #ifndef _SYS_THREAD_H_
12 #define _SYS_THREAD_H_
13
14 #ifndef _SYS_STDINT_H_
15 #include <sys/stdint.h>         /* __int types */
16 #endif
17 #ifndef _SYS_PARAM_H_
18 #include <sys/param.h>          /* MAXCOMLEN */
19 #endif
20 #ifndef _SYS_QUEUE_H_
21 #include <sys/queue.h>          /* TAILQ_* macros */
22 #endif
23 #ifndef _SYS_MSGPORT_H_
24 #include <sys/msgport.h>        /* lwkt_port */
25 #endif
26 #ifndef _SYS_TIME_H_
27 #include <sys/time.h>           /* struct timeval */
28 #endif
29 #ifndef _SYS_LOCK_H
30 #include <sys/lock.h>
31 #endif
32 #ifndef _SYS_SPINLOCK_H_
33 #include <sys/spinlock.h>
34 #endif
35 #ifndef _SYS_IOSCHED_H_
36 #include <sys/iosched.h>
37 #endif
38 #include <machine/thread.h>
39
40 struct globaldata;
41 struct lwp;
42 struct proc;
43 struct thread;
44 struct lwkt_queue;
45 struct lwkt_token;
46 struct lwkt_tokref;
47 struct lwkt_ipiq;
48 struct lwkt_cpu_msg;
49 struct lwkt_cpu_port;
50 struct lwkt_msg;
51 struct lwkt_port;
52 struct lwkt_cpusync;
53 union sysunion;
54
55 typedef struct lwkt_queue       *lwkt_queue_t;
56 typedef struct lwkt_token       *lwkt_token_t;
57 typedef struct lwkt_tokref      *lwkt_tokref_t;
58 typedef struct lwkt_cpu_msg     *lwkt_cpu_msg_t;
59 typedef struct lwkt_cpu_port    *lwkt_cpu_port_t;
60 typedef struct lwkt_ipiq        *lwkt_ipiq_t;
61 typedef struct lwkt_cpusync     *lwkt_cpusync_t;
62 typedef struct thread           *thread_t;
63
64 typedef TAILQ_HEAD(lwkt_queue, thread) lwkt_queue;
65
66 /*
67  * Differentiation between kernel threads and user threads.  Userland
68  * programs which want to access to kernel structures have to define
69  * _KERNEL_STRUCTURES.  This is a kinda safety valve to prevent badly
70  * written user programs from getting an LWKT thread that is neither the
71  * kernel nor the user version.
72  */
73 #if defined(_KERNEL) || defined(_KERNEL_STRUCTURES)
74 #ifndef _MACHINE_THREAD_H_
75 #include <machine/thread.h>             /* md_thread */
76 #endif
77 #ifndef _MACHINE_FRAME_H_
78 #include <machine/frame.h>
79 #endif
80 #else
81 struct intrframe;
82 #endif
83
84 /*
85  * Tokens are used to serialize access to information.  They are 'soft'
86  * serialization entities that only stay in effect while a thread is
87  * running.  If the thread blocks, other threads can run holding the same
88  * token(s).  The tokens are reacquired when the original thread resumes.
89  *
90  * A thread can depend on its serialization remaining intact through a
91  * preemption.  An interrupt which attempts to use the same token as the
92  * thread being preempted will reschedule itself for non-preemptive
93  * operation, so the new token code is capable of interlocking against
94  * interrupts as well as other cpus.  This means that your token can only
95  * be (temporarily) lost if you *explicitly* block.
96  *
97  * Tokens are managed through a helper reference structure, lwkt_tokref.  Each
98  * thread has a stack of tokref's to keep track of acquired tokens.  Multiple
99  * tokref's may reference the same token.
100  *
101  * Tokens can be held shared or exclusive.   An exclusive holder is able
102  * to set the TOK_EXCLUSIVE bit in t_count as long as no bit in the count
103  * mask is set.  If unable to accomplish this TOK_EXCLREQ can be set instead
104  * which prevents any new shared acquisitions while the exclusive requestor
105  * spins in the scheduler.  A shared holder can bump t_count by the increment
106  * value as long as neither TOK_EXCLUSIVE or TOK_EXCLREQ is set, else spin
107  * in the scheduler.
108  *
109  * Multiple exclusive tokens are handled by treating the additional tokens
110  * as a special case of the shared token, incrementing the count value.  This
111  * reduces the complexity of the token release code.
112  */
113
114 typedef struct lwkt_token {
115     long                t_count;        /* Shared/exclreq/exclusive access */
116     struct lwkt_tokref  *t_ref;         /* Exclusive ref */
117     long                t_collisions;   /* Collision counter */
118     const char          *t_desc;        /* Descriptive name */
119 } lwkt_token;
120
121 #define TOK_EXCLUSIVE   0x00000001      /* Exclusive lock held */
122 #define TOK_EXCLREQ     0x00000002      /* Exclusive request pending */
123 #define TOK_INCR        4               /* Shared count increment */
124 #define TOK_COUNTMASK   (~(long)(TOK_EXCLUSIVE|TOK_EXCLREQ))
125
126 /*
127  * Static initialization for a lwkt_token.
128  */
129 #define LWKT_TOKEN_INITIALIZER(name)    \
130 {                                       \
131         .t_count = 0,                   \
132         .t_ref = NULL,                  \
133         .t_collisions = 0,              \
134         .t_desc = #name                 \
135 }
136
137 /*
138  * Assert that a particular token is held
139  */
140 #define LWKT_TOKEN_HELD(tok)            _lwkt_token_held(tok, curthread)
141
142 #define ASSERT_LWKT_TOKEN_HELD(tok)     \
143         KKASSERT(LWKT_TOKEN_HELD(tok))
144
145 #define ASSERT_NO_TOKENS_HELD(td)       \
146         KKASSERT((td)->td_toks_stop == &td->td_toks_array[0])
147
148 /*
149  * Assert that a particular token is held and we are in a hard
150  * code execution section (interrupt, ipi, or hard code section).
151  * Hard code sections are not allowed to block or potentially block.
152  * e.g. lwkt_gettoken() would only be ok if the token were already
153  * held.
154  */
155 #define ASSERT_LWKT_TOKEN_HARD(tok)                                     \
156         do {                                                            \
157                 globaldata_t zgd __debugvar = mycpu;                    \
158                 KKASSERT((tok)->t_ref &&                                \
159                          (tok)->t_ref->tr_owner == zgd->gd_curthread && \
160                          zgd->gd_intr_nesting_level > 0);               \
161         } while(0)
162
163 /*
164  * Assert that a particular token is held and we are in a normal
165  * critical section.  Critical sections will not be preempted but
166  * can explicitly block (tsleep, lwkt_gettoken, etc).
167  */
168 #define ASSERT_LWKT_TOKEN_CRIT(tok)                                     \
169         do {                                                            \
170                 globaldata_t zgd __debugvar = mycpu;                    \
171                 KKASSERT((tok)->t_ref &&                                \
172                          (tok)->t_ref->tr_owner == zgd->gd_curthread && \
173                          zgd->gd_curthread->td_critcount > 0);          \
174         } while(0)
175
176 struct lwkt_tokref {
177     lwkt_token_t        tr_tok;         /* token in question */
178     long                tr_count;       /* TOK_EXCLUSIVE|TOK_EXCLREQ or 0 */
179     struct thread       *tr_owner;      /* me */
180 };
181
182 #define MAXCPUFIFO      32      /* power of 2 */
183 #define MAXCPUFIFO_MASK (MAXCPUFIFO - 1)
184 #define LWKT_MAXTOKENS  32      /* max tokens beneficially held by thread */
185
186 /*
187  * Always cast to ipifunc_t when registering an ipi.  The actual ipi function
188  * is called with both the data and an interrupt frame, but the ipi function
189  * that is registered might only declare a data argument.
190  */
191 typedef void (*ipifunc1_t)(void *arg);
192 typedef void (*ipifunc2_t)(void *arg, int arg2);
193 typedef void (*ipifunc3_t)(void *arg, int arg2, struct intrframe *frame);
194
195 typedef struct lwkt_ipiq {
196     int         ip_rindex;      /* only written by target cpu */
197     int         ip_xindex;      /* written by target, indicates completion */
198     int         ip_windex;      /* only written by source cpu */
199     struct {
200         ipifunc3_t      func;
201         void            *arg1;
202         int             arg2;
203         char            filler[32 - sizeof(int) - sizeof(void *) * 2];
204     } ip_info[MAXCPUFIFO];
205 } lwkt_ipiq;
206
207 /*
208  * CPU Synchronization structure.  See lwkt_cpusync_start() and
209  * lwkt_cpusync_finish() for more information.
210  */
211 typedef void (*cpusync_func_t)(void *arg);
212
213 struct lwkt_cpusync {
214     cpumask_t   cs_mask;                /* cpus running the sync */
215     cpumask_t   cs_mack;                /* mask acknowledge */
216     cpusync_func_t cs_func;             /* function to execute */
217     void        *cs_data;               /* function data */
218 };
219
220 /*
221  * The standard message and queue structure used for communications between
222  * cpus.  Messages are typically queued via a machine-specific non-linked
223  * FIFO matrix allowing any cpu to send a message to any other cpu without
224  * blocking.
225  */
226 typedef struct lwkt_cpu_msg {
227     void        (*cm_func)(lwkt_cpu_msg_t msg); /* primary dispatch function */
228     int         cm_code;                /* request code if applicable */
229     int         cm_cpu;                 /* reply to cpu */
230     thread_t    cm_originator;          /* originating thread for wakeup */
231 } lwkt_cpu_msg;
232
233 /*
234  * Thread structure.  Note that ownership of a thread structure is special
235  * cased and there is no 'token'.  A thread is always owned by the cpu
236  * represented by td_gd, any manipulation of the thread by some other cpu
237  * must be done through cpu_*msg() functions.  e.g. you could request
238  * ownership of a thread that way, or hand a thread off to another cpu.
239  *
240  * NOTE: td_ucred is synchronized from the p_ucred on user->kernel syscall,
241  *       trap, and AST/signal transitions to provide a stable ucred for
242  *       (primarily) system calls.  This field will be NULL for pure kernel
243  *       threads.
244  */
245 struct md_intr_info;
246 struct caps_kinfo;
247
248 struct thread {
249     TAILQ_ENTRY(thread) td_threadq;
250     TAILQ_ENTRY(thread) td_allq;
251     TAILQ_ENTRY(thread) td_sleepq;
252     lwkt_port   td_msgport;     /* built-in message port for replies */
253     struct lwp  *td_lwp;        /* (optional) associated lwp */
254     struct proc *td_proc;       /* (optional) associated process */
255     struct pcb  *td_pcb;        /* points to pcb and top of kstack */
256     struct globaldata *td_gd;   /* associated with this cpu */
257     const char  *td_wmesg;      /* string name for blockage */
258     const volatile void *td_wchan;      /* waiting on channel */
259     int         td_pri;         /* 0-31, 31=highest priority (note 1) */
260     int         td_critcount;   /* critical section priority */
261     int         td_flags;       /* TDF flags */
262     int         td_wdomain;     /* domain for wchan address (typ 0) */
263     void        (*td_preemptable)(struct thread *td, int critcount);
264     void        (*td_release)(struct thread *td);
265     char        *td_kstack;     /* kernel stack */
266     int         td_kstack_size; /* size of kernel stack */
267     char        *td_sp;         /* kernel stack pointer for LWKT restore */
268     thread_t    (*td_switch)(struct thread *ntd);
269     __uint64_t  td_uticks;      /* Statclock hits in user mode (uS) */
270     __uint64_t  td_sticks;      /* Statclock hits in system mode (uS) */
271     __uint64_t  td_iticks;      /* Statclock hits processing intr (uS) */
272     int         td_locks;       /* lockmgr lock debugging */
273     void        *td_dsched_priv1;       /* priv data for I/O schedulers */
274     int         td_refs;        /* hold position in gd_tdallq / hold free */
275     int         td_nest_count;  /* prevent splz nesting */
276     int         td_contended;   /* token contention count */
277     int         td_unused01[1]; /* for future fields */
278 #ifdef SMP
279     int         td_cscount;     /* cpu synchronization master */
280 #else
281     int         td_cscount_unused;
282 #endif
283     int         td_unused02[4]; /* for future fields */
284     int         td_unused03[4]; /* for future fields */
285     struct iosched_data td_iosdata;     /* Dynamic I/O scheduling data */
286     struct timeval td_start;    /* start time for a thread/process */
287     char        td_comm[MAXCOMLEN+1]; /* typ 16+1 bytes */
288     struct thread *td_preempted; /* we preempted this thread */
289     struct ucred *td_ucred;             /* synchronized from p_ucred */
290     struct caps_kinfo *td_caps; /* list of client and server registrations */
291     lwkt_tokref_t td_toks_have;         /* tokens we own */
292     lwkt_tokref_t td_toks_stop;         /* tokens we want */
293     struct lwkt_tokref td_toks_array[LWKT_MAXTOKENS];
294     int         td_fairq_load;          /* fairq */
295     int         td_fairq_count;         /* fairq */
296     struct globaldata *td_migrate_gd;   /* target gd for thread migration */
297 #ifdef DEBUG_CRIT_SECTIONS
298 #define CRIT_DEBUG_ARRAY_SIZE   32
299 #define CRIT_DEBUG_ARRAY_MASK   (CRIT_DEBUG_ARRAY_SIZE - 1)
300     const char  *td_crit_debug_array[CRIT_DEBUG_ARRAY_SIZE];
301     int         td_crit_debug_index;
302     int         td_in_crit_report;      
303 #endif
304     struct md_thread td_mach;
305 #ifdef DEBUG_LOCKS
306 #define SPINLOCK_DEBUG_ARRAY_SIZE       32
307    int  td_spinlock_stack_id[SPINLOCK_DEBUG_ARRAY_SIZE];
308    struct spinlock *td_spinlock_stack[SPINLOCK_DEBUG_ARRAY_SIZE];
309    void         *td_spinlock_caller_pc[SPINLOCK_DEBUG_ARRAY_SIZE];
310
311     /*
312      * Track lockmgr locks held; lk->lk_filename:lk->lk_lineno is the holder
313      */
314 #define LOCKMGR_DEBUG_ARRAY_SIZE        8
315     int         td_lockmgr_stack_id[LOCKMGR_DEBUG_ARRAY_SIZE];
316     struct lock *td_lockmgr_stack[LOCKMGR_DEBUG_ARRAY_SIZE];
317 #endif
318 };
319
320 #define td_toks_base            td_toks_array[0]
321 #define td_toks_end             td_toks_array[LWKT_MAXTOKENS]
322
323 #define TD_TOKS_HELD(td)        ((td)->td_toks_stop != &(td)->td_toks_base)
324 #define TD_TOKS_NOT_HELD(td)    ((td)->td_toks_stop == &(td)->td_toks_base)
325
326 /*
327  * Thread flags.  Note that TDF_RUNNING is cleared on the old thread after
328  * we switch to the new one, which is necessary because LWKTs don't need
329  * to hold the BGL.  This flag is used by the exit code and the managed
330  * thread migration code.  Note in addition that preemption will cause
331  * TDF_RUNNING to be cleared temporarily, so any code checking TDF_RUNNING
332  * must also check TDF_PREEMPT_LOCK.
333  *
334  * LWKT threads stay on their (per-cpu) run queue while running, not to
335  * be confused with user processes which are removed from the user scheduling
336  * run queue while actually running.
337  *
338  * td_threadq can represent the thread on one of three queues... the LWKT
339  * run queue, a tsleep queue, or an lwkt blocking queue.  The LWKT subsystem
340  * does not allow a thread to be scheduled if it already resides on some
341  * queue.
342  */
343 #define TDF_RUNNING             0x0001  /* thread still active */
344 #define TDF_RUNQ                0x0002  /* on an LWKT run queue */
345 #define TDF_PREEMPT_LOCK        0x0004  /* I have been preempted */
346 #define TDF_PREEMPT_DONE        0x0008  /* acknowledge preemption complete */
347 #define TDF_UNUSED00000010      0x0010
348 #define TDF_MIGRATING           0x0020  /* thread is being migrated */
349 #define TDF_SINTR               0x0040  /* interruptability hint for 'ps' */
350 #define TDF_TSLEEPQ             0x0080  /* on a tsleep wait queue */
351
352 #define TDF_SYSTHREAD           0x0100  /* allocations may use reserve */
353 #define TDF_ALLOCATED_THREAD    0x0200  /* objcache allocated thread */
354 #define TDF_ALLOCATED_STACK     0x0400  /* objcache allocated stack */
355 #define TDF_VERBOSE             0x0800  /* verbose on exit */
356 #define TDF_DEADLKTREAT         0x1000  /* special lockmgr deadlock treatment */
357 #define TDF_STOPREQ             0x2000  /* suspend_kproc */
358 #define TDF_WAKEREQ             0x4000  /* resume_kproc */
359 #define TDF_TIMEOUT             0x8000  /* tsleep timeout */
360 #define TDF_INTTHREAD           0x00010000      /* interrupt thread */
361 #define TDF_TSLEEP_DESCHEDULED  0x00020000      /* tsleep core deschedule */
362 #define TDF_BLOCKED             0x00040000      /* Thread is blocked */
363 #define TDF_PANICWARN           0x00080000      /* panic warning in switch */
364 #define TDF_BLOCKQ              0x00100000      /* on block queue */
365 #define TDF_FORCE_SPINPORT      0x00200000
366 #define TDF_EXITING             0x00400000      /* thread exiting */
367 #define TDF_USINGFP             0x00800000      /* thread using fp coproc */
368 #define TDF_KERNELFP            0x01000000      /* kernel using fp coproc */
369 #define TDF_UNUSED02000000      0x02000000
370 #define TDF_CRYPTO              0x04000000      /* crypto thread */
371
372 /*
373  * Thread priorities.  Typically only one thread from any given
374  * user process scheduling queue is on the LWKT run queue at a time.
375  * Remember that there is one LWKT run queue per cpu.
376  *
377  * Critical sections are handled by bumping td_pri above TDPRI_MAX, which
378  * causes interrupts to be masked as they occur.  When this occurs a
379  * rollup flag will be set in mycpu->gd_reqflags.
380  */
381 #define TDPRI_IDLE_THREAD       0       /* the idle thread */
382 #define TDPRI_IDLE_WORK         1       /* idle work (page zero, etc) */
383 #define TDPRI_USER_SCHEDULER    2       /* user scheduler helper */
384 #define TDPRI_USER_IDLE         4       /* user scheduler idle */
385 #define TDPRI_USER_NORM         6       /* user scheduler normal */
386 #define TDPRI_USER_REAL         8       /* user scheduler real time */
387 #define TDPRI_KERN_LPSCHED      9       /* scheduler helper for userland sch */
388 #define TDPRI_KERN_USER         10      /* kernel / block in syscall */
389 #define TDPRI_KERN_DAEMON       12      /* kernel daemon (pageout, etc) */
390 #define TDPRI_SOFT_NORM         14      /* kernel / normal */
391 #define TDPRI_SOFT_TIMER        16      /* kernel / timer */
392 #define TDPRI_EXITING           19      /* exiting thread */
393 #define TDPRI_INT_SUPPORT       20      /* kernel / high priority support */
394 #define TDPRI_INT_LOW           27      /* low priority interrupt */
395 #define TDPRI_INT_MED           28      /* medium priority interrupt */
396 #define TDPRI_INT_HIGH          29      /* high priority interrupt */
397 #define TDPRI_MAX               31
398
399 #define LWKT_THREAD_STACK       (UPAGES * PAGE_SIZE)
400
401 #define IN_CRITICAL_SECT(td)    ((td)->td_critcount)
402
403 #ifdef _KERNEL
404
405 /*
406  * Global tokens
407  */
408 extern struct lwkt_token mp_token;
409 extern struct lwkt_token pmap_token;
410 extern struct lwkt_token dev_token;
411 extern struct lwkt_token vm_token;
412 extern struct lwkt_token vmspace_token;
413 extern struct lwkt_token kvm_token;
414 extern struct lwkt_token proc_token;
415 extern struct lwkt_token tty_token;
416 extern struct lwkt_token vnode_token;
417 extern struct lwkt_token vmobj_token;
418
419 /*
420  * Procedures
421  */
422 extern void lwkt_init(void);
423 extern struct thread *lwkt_alloc_thread(struct thread *, int, int, int);
424 extern void lwkt_init_thread(struct thread *, void *, int, int,
425                              struct globaldata *);
426 extern void lwkt_set_interrupt_support_thread(void);
427 extern void lwkt_set_comm(thread_t, const char *, ...) __printflike(2, 3);
428 extern void lwkt_wait_free(struct thread *);
429 extern void lwkt_free_thread(struct thread *);
430 extern void lwkt_gdinit(struct globaldata *);
431 extern void lwkt_switch(void);
432 extern void lwkt_switch_return(struct thread *);
433 extern void lwkt_preempt(thread_t, int);
434 extern void lwkt_schedule(thread_t);
435 extern void lwkt_schedule_noresched(thread_t);
436 extern void lwkt_schedule_self(thread_t);
437 extern void lwkt_deschedule(thread_t);
438 extern void lwkt_deschedule_self(thread_t);
439 extern void lwkt_yield(void);
440 extern void lwkt_user_yield(void);
441 extern void lwkt_token_wait(void);
442 extern void lwkt_hold(thread_t);
443 extern void lwkt_rele(thread_t);
444 extern void lwkt_passive_release(thread_t);
445 extern void lwkt_maybe_splz(thread_t);
446
447 extern void lwkt_gettoken(lwkt_token_t);
448 extern void lwkt_gettoken_shared(lwkt_token_t);
449 extern void lwkt_gettoken_hard(lwkt_token_t);
450 extern int  lwkt_trytoken(lwkt_token_t);
451 extern void lwkt_reltoken(lwkt_token_t);
452 extern void lwkt_reltoken_hard(lwkt_token_t);
453 extern int  lwkt_cnttoken(lwkt_token_t, thread_t);
454 extern int  lwkt_getalltokens(thread_t, int);
455 extern void lwkt_relalltokens(thread_t);
456 extern void lwkt_drain_token_requests(void);
457 extern void lwkt_token_init(lwkt_token_t, const char *);
458 extern void lwkt_token_uninit(lwkt_token_t);
459
460 extern void lwkt_token_pool_init(void);
461 extern lwkt_token_t lwkt_token_pool_lookup(void *);
462 extern lwkt_token_t lwkt_getpooltoken(void *);
463 extern void lwkt_relpooltoken(void *);
464
465 extern void lwkt_token_swap(void);
466
467 extern void lwkt_setpri(thread_t, int);
468 extern void lwkt_setpri_initial(thread_t, int);
469 extern void lwkt_setpri_self(int);
470 extern void lwkt_schedulerclock(thread_t td);
471 extern void lwkt_setcpu_self(struct globaldata *);
472 extern void lwkt_migratecpu(int);
473
474 #ifdef SMP
475
476 extern void lwkt_giveaway(struct thread *);
477 extern void lwkt_acquire(struct thread *);
478 extern int  lwkt_send_ipiq3(struct globaldata *, ipifunc3_t, void *, int);
479 extern int  lwkt_send_ipiq3_passive(struct globaldata *, ipifunc3_t,
480                                     void *, int);
481 extern int  lwkt_send_ipiq3_nowait(struct globaldata *, ipifunc3_t,
482                                    void *, int);
483 extern int  lwkt_send_ipiq3_bycpu(int, ipifunc3_t, void *, int);
484 extern int  lwkt_send_ipiq3_mask(cpumask_t, ipifunc3_t, void *, int);
485 extern void lwkt_wait_ipiq(struct globaldata *, int);
486 extern int  lwkt_seq_ipiq(struct globaldata *);
487 extern void lwkt_process_ipiq(void);
488 extern void lwkt_process_ipiq_frame(struct intrframe *);
489 extern void lwkt_smp_stopped(void);
490 extern void lwkt_synchronize_ipiqs(const char *);
491
492 #endif /* SMP */
493
494 /* lwkt_cpusync_init() - inline function in sys/thread2.h */
495 extern void lwkt_cpusync_simple(cpumask_t, cpusync_func_t, void *);
496 extern void lwkt_cpusync_interlock(lwkt_cpusync_t);
497 extern void lwkt_cpusync_deinterlock(lwkt_cpusync_t);
498
499 extern void crit_panic(void) __dead2;
500 extern struct lwp *lwkt_preempted_proc(void);
501
502 extern int  lwkt_create (void (*func)(void *), void *, struct thread **,
503                 struct thread *, int, int,
504                 const char *, ...) __printflike(7, 8);
505 extern void lwkt_exit (void) __dead2;
506 extern void lwkt_remove_tdallq (struct thread *);
507
508 #endif
509
510 #endif
511