Searched refs:interdomain (Results 1 – 2 of 2) sorted by relevance
503 } interdomain; /* EVTCHNSTAT_interdomain */ member
847 printf(": domain %d port %u\n", es.u.interdomain.dom, in xen_intr_establish()848 es.u.interdomain.port); in xen_intr_establish()