Type Alias user_addr_t 

pub type user_addr_t = u_int64_t;