is_valid_evtchn
if (!is_valid_evtchn(port))
KASSERT(is_valid_evtchn(port), ("Invalid event channel port"));
KASSERT(is_valid_evtchn(port), ("Invalid event channel port"));
if (is_valid_evtchn(isrc->xi_port)) {
_Static_assert(is_valid_evtchn(0),
_Static_assert(is_valid_evtchn(NR_EVENT_CHANNELS - 1),
_Static_assert(!is_valid_evtchn(NR_EVENT_CHANNELS),
_Static_assert(!is_valid_evtchn(~(evtchn_port_t)0),
_Static_assert(!is_valid_evtchn(INVALID_EVTCHN),
_Static_assert(!is_valid_evtchn(-1),
KASSERT(!is_valid_evtchn(cur->xi_port),
if (__predict_true(is_valid_evtchn(isrc->xi_port)))
if (!is_valid_evtchn(isrc->xi_port)) {
if (__predict_true(is_valid_evtchn(isrc->xi_port)))