Type Alias zx_guest_trap_t 

pub type zx_guest_trap_t = u32;