sys/dev/xen/bus/xen_intr.c

1066

if (!is_valid_evtchn(port))

sys/dev/xen/bus/xen_intr.c

169

KASSERT(is_valid_evtchn(port), ("Invalid event channel port"));

sys/dev/xen/bus/xen_intr.c

192

KASSERT(is_valid_evtchn(port), ("Invalid event channel port"));

sys/dev/xen/bus/xen_intr.c

208

if (is_valid_evtchn(isrc->xi_port)) {

sys/dev/xen/bus/xen_intr.c

473

_Static_assert(is_valid_evtchn(0),

sys/dev/xen/bus/xen_intr.c

475

_Static_assert(is_valid_evtchn(NR_EVENT_CHANNELS - 1),

sys/dev/xen/bus/xen_intr.c

477

_Static_assert(!is_valid_evtchn(NR_EVENT_CHANNELS),

sys/dev/xen/bus/xen_intr.c

479

_Static_assert(!is_valid_evtchn(~(evtchn_port_t)0),

sys/dev/xen/bus/xen_intr.c

481

_Static_assert(!is_valid_evtchn(INVALID_EVTCHN),

sys/dev/xen/bus/xen_intr.c

483

_Static_assert(!is_valid_evtchn(-1),

sys/dev/xen/bus/xen_intr.c

623

KASSERT(!is_valid_evtchn(cur->xi_port),

sys/dev/xen/bus/xen_intr.c

641

if (__predict_true(is_valid_evtchn(isrc->xi_port)))

sys/dev/xen/bus/xen_intr.c

665

if (!is_valid_evtchn(isrc->xi_port)) {

sys/dev/xen/bus/xen_intr.c

729

if (__predict_true(is_valid_evtchn(isrc->xi_port)))