Hmm. It seems to me gcc has those neat `inline' keywords. I've been 
using them in my C++ code, but since FreeBSD is using other gcc 
extensions to C, might as well use inline too.

Ever tried compiling your kernel with -ansi? That's fun :-)

Just a thought...
  Kees Jan