On Mon, 21 Dec 1998 17:32:25 -0500 
 Michael Richardson <mcr@solidum.com> wrote:

 >   Is there a way to get the equivalent of the va_list type in the kernel?
 > I mean, is there a standard *kernel* place that stdarg.h could go.

Take a look at kern/kern_kthread.c; I used varargs there.

Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                            Home: +1 408 866 1912
NAS: M/S 258-5                                       Work: +1 650 604 0935
Moffett Field, CA 94035                             Pager: +1 650 940 5942