Searched refs:interdomain (Results 1 – 7 of 7) sorted by relevance
42 status.u.interdomain.dom, status.u.interdomain.port); in main()
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()640 port2 = chn1->u.interdomain.remote_port; 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()909 status->u.interdomain.port = chn->u.interdomain.remote_port; in evtchn_status()[all …]
226 } interdomain; /* EVTCHNSTAT_interdomain */ member
302 # when creating an interdomain event channel endpoint:307 # interdomain event channel is established.315 # when creating an interdomain event channel endpoint:
104 } interdomain; /* state == ECS_INTERDOMAIN */ member
566 peer = chn->u.interdomain.remote_dom; in flask_get_peer_sid()
184 an interdomain bind, and then, when it wishes to ask the guest to
Completed in 13 milliseconds