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