UNRESTRICTED_DOMID 470 drivers/xen/evtchn.c if (u->restrict_domid != UNRESTRICTED_DOMID) UNRESTRICTED_DOMID 499 drivers/xen/evtchn.c if (u->restrict_domid != UNRESTRICTED_DOMID && UNRESTRICTED_DOMID 523 drivers/xen/evtchn.c if (u->restrict_domid != UNRESTRICTED_DOMID) UNRESTRICTED_DOMID 598 drivers/xen/evtchn.c if (u->restrict_domid != UNRESTRICTED_DOMID) UNRESTRICTED_DOMID 663 drivers/xen/evtchn.c u->restrict_domid = UNRESTRICTED_DOMID;