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