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