K 10 svn:author V 3 bde K 8 svn:date V 27 1996-08-31T14:48:13.000000Z K 7 svn:log V 124 Don't depend in the kernel on the gcc feature of doing arithmetic on pointers of type `void *'. Warn about this in future. END