Justin C. Miller cef0a71bce Use uintptr_t instead of addr_t ...

They're never actually going to change independently, and it's also
brining in kutil headers more places than they should be.

2018-09-20 09:37:30 -07:00

6.5 KiB

Raw Blame History

View Raw