Lines Matching refs:interdomain
334 lchn->u.interdomain.remote_dom = rd; in evtchn_bind_interdomain()
335 lchn->u.interdomain.remote_port = rport; in evtchn_bind_interdomain()
339 rchn->u.interdomain.remote_dom = ld; in evtchn_bind_interdomain()
340 rchn->u.interdomain.remote_port = lport; in evtchn_bind_interdomain()
610 d2 = chn1->u.interdomain.remote_dom; in evtchn_close()
627 else if ( d2 != chn1->u.interdomain.remote_dom ) in evtchn_close()
640 port2 = chn1->u.interdomain.remote_port; in evtchn_close()
645 BUG_ON(chn2->u.interdomain.remote_dom != d1); in evtchn_close()
706 rd = lchn->u.interdomain.remote_dom; in evtchn_send()
707 rport = lchn->u.interdomain.remote_port; in evtchn_send()
907 status->u.interdomain.dom = in evtchn_status()
908 chn->u.interdomain.remote_dom->domain_id; in evtchn_status()
909 status->u.interdomain.port = chn->u.interdomain.remote_port; in evtchn_status()
1263 rd = lchn->u.interdomain.remote_dom; in notify_via_xen_event_channel()
1264 rchn = evtchn_from_port(rd, lchn->u.interdomain.remote_port); in notify_via_xen_event_channel()
1423 chn->u.interdomain.remote_dom->domain_id, in domain_dump_evtchn_info()
1424 chn->u.interdomain.remote_port); in domain_dump_evtchn_info()