K 10 svn:author V 5 peter K 8 svn:date V 27 2003-12-23T02:34:25.000000Z K 7 svn:log V 278 Don peril sensitive sunglasses and set NULL to an actual pointer type, but *only* for the kernel. We can do this because the kernel is not a standard C application environment. This would have stopped the recent mtx_* arg NULL/MTX_DEF mixups from going unnoticed for so long. END