Subject: Re: How to print "Hello" using system call?
To: Keichii Moto <>
From: Charles Blundell <>
List: tech-kern
Date: 07/15/2003 17:43:37
on Tue, Jul 15, 2003 at 08:02:06AM -0700, Keichii Moto wrote:
> Would you tell me which header files I should add
> ? Thanks. I added <sys/syscallargs.h> and <stdio.h>.

man 9 printf documents the kernel form of printf.  There are
some slight differences.  You will want to include sys/param.h,
sys/systm.h and sys/syscallargs.h by the looks of it.
I assume you have added your syscall to sys/kern/syscalls.master
and regenerated syscallargs.h and friends...