pub type evtchn_bind_interdomain_t = evtchn_bind_interdomain;