pub type zx_guest_trap_t = u32;