Home
last modified time | relevance | path

Searched refs:is_valid_evtchn (Results 1 – 1 of 1) sorted by relevance

/src/sys/dev/xen/bus/
H A Dxen_intr.c102 #define is_valid_evtchn(x) ((uintmax_t)(x) < NR_EVENT_CHANNELS) macro
169 KASSERT(is_valid_evtchn(port), ("Invalid event channel port")); in evtchn_cpu_mask_port()
192 KASSERT(is_valid_evtchn(port), ("Invalid event channel port")); in evtchn_cpu_unmask_port()
208 if (is_valid_evtchn(isrc->xi_port)) { in xen_intr_release_isrc()
473 _Static_assert(is_valid_evtchn(0), in xen_intr_init()
475 _Static_assert(is_valid_evtchn(NR_EVENT_CHANNELS - 1), in xen_intr_init()
477 _Static_assert(!is_valid_evtchn(NR_EVENT_CHANNELS), in xen_intr_init()
479 _Static_assert(!is_valid_evtchn(~(evtchn_port_t)0), in xen_intr_init()
481 _Static_assert(!is_valid_evtchn(INVALID_EVTCHN), in xen_intr_init()
483 _Static_assert(!is_valid_evtchn(-1), in xen_intr_init()
[all …]