user_addr_t typedef

user_addr_t = u_int64_t

Implementation

typedef user_addr_t = u_int64_t;