pub type evtchn_alloc_unbound_t = evtchn_alloc_unbound;
#[repr(C)]pub struct evtchn_alloc_unbound_t { pub dom: u16, pub remote_dom: u16, pub port: u32, }
dom: u16
remote_dom: u16
port: u32