__userptr          91 kern/include/types.h typedef struct __userptr *userptr_t;
__userptr          92 kern/include/types.h typedef const struct __userptr *const_userptr_t;