K 10 svn:author V 5 joerg K 8 svn:date V 27 1997-05-07T13:23:04.000000Z K 7 svn:log V 182 Hide the kernel-only stuff inside #ifdef KERNEL. XXX should be #ifdef _KERNEL XXX^2 the !KERNEL part should probably be moved out into a publically visible header file anyway. END