Type Definition xen_sys::evtchn_port_t

source · [−]
pub type evtchn_port_t = u32;