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;