pub type evtchn_send_t = evtchn_send;
#[repr(C)]pub struct evtchn_send_t { pub port: u32, }
port: u32