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