Type Definition xen_sys::evtchn_bind_ipi_t

pub type evtchn_bind_ipi_t = evtchn_bind_ipi;