pub type zx_addr_t = usize;