user_addr_t

Declaration

typedef u_int64_t user_addr_t;