K 10 svn:author V 6 brooks K 8 svn:date V 27 2016-01-29T01:22:12.484395Z K 7 svn:log V 173 Use intptr_t note ptrdiff_t when storing flags in the bottom bits of pointers. Obtained from: CheriBSD (e3a69027cc5a384431156d61c90d4304387a9b9d) Sponsored by: DARPA, AFRL END