drivers/xen/events/events_base.c

1780

if (!VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

1866

if (VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

1874

if (VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

1901

if (VALID_EVTCHN(evtchn)) {

drivers/xen/events/events_base.c

1917

if (VALID_EVTCHN(evtchn)) {

drivers/xen/events/events_base.c

1928

if (!VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

2039

if (VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

2049

if (VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

2061

if (VALID_EVTCHN(evtchn)) {

drivers/xen/events/events_base.c

543

if (VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

605

if (!VALID_EVTCHN(evtchn) || !list_empty(&info->eoi_list))

drivers/xen/events/events_base.c

814

if (!VALID_EVTCHN(info->evtchn))

drivers/xen/events/events_base.c

834

if (VALID_EVTCHN(info->evtchn))

drivers/xen/events/events_base.c

862

if (VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

917

if (!VALID_EVTCHN(evtchn))

drivers/xen/events/events_base.c

969

if (VALID_EVTCHN(evtchn)) {