uintptr_t         111 kern/include/types.h typedef __uintptr_t uintptr_t;
uintptr_t          49 user/include/stdint.h typedef __uintptr_t uintptr_t;