K 10 svn:author V 6 brooks K 8 svn:date V 27 2018-07-10T13:03:06.688729Z K 7 svn:log V 77 Use uintptr_t alone when assigning to kvaddr_t variables. Suggested by: jhb END