pub type evtchn_bind_ipi_t = evtchn_bind_ipi;
#[repr(C)]pub struct evtchn_bind_ipi_t { pub vcpu: u32, pub port: u32, }
vcpu: u32
port: u32