restrict_domid 78 drivers/xen/evtchn.c domid_t restrict_domid; restrict_domid 470 drivers/xen/evtchn.c if (u->restrict_domid != UNRESTRICTED_DOMID) restrict_domid 499 drivers/xen/evtchn.c if (u->restrict_domid != UNRESTRICTED_DOMID && restrict_domid 500 drivers/xen/evtchn.c u->restrict_domid != bind.remote_domain) restrict_domid 523 drivers/xen/evtchn.c if (u->restrict_domid != UNRESTRICTED_DOMID) restrict_domid 598 drivers/xen/evtchn.c if (u->restrict_domid != UNRESTRICTED_DOMID) restrict_domid 609 drivers/xen/evtchn.c u->restrict_domid = ierd.domid; restrict_domid 663 drivers/xen/evtchn.c u->restrict_domid = UNRESTRICTED_DOMID;