K 10 svn:author V 3 bde K 8 svn:date V 27 1998-07-15T03:58:57.000000Z K 7 svn:log V 216 Cast virtual addresses that happen to be represented as u_longs to uintptr_t before casting them to pointers. Explicit u_longs should never be used to represent virtual addresses... (vm_offset_t is normally right). END