Type Definition xen_sys::evtchn_status_t

pub type evtchn_status_t = evtchn_status;