Type Definition xen_sys::evtchn_reset_t

source · [−]
pub type evtchn_reset_t = evtchn_reset;