pub type evtchn_bind_vcpu_t = evtchn_bind_vcpu;