Type Alias user_addr_t

pub type user_addr_t = u64;