Type Definition mach::vm_types::user_addr_t

source · 
pub type user_addr_t = u64;