intptr_t          110 kern/include/types.h typedef __intptr_t intptr_t;
intptr_t           48 user/include/stdint.h typedef __intptr_t intptr_t;