NR_EVENT_CHANNELS
#define MAX_EVTCHNS NR_EVENT_CHANNELS
if (evtchn >= NR_EVENT_CHANNELS || evtchn == 0) {
if ((int)addr >= NR_EVENT_CHANNELS) {
for (i = 0; i < NR_EVENT_CHANNELS; i++) {
static short evtchn_tbl[NR_EVENT_CHANNELS];
if ((int)addr >= NR_EVENT_CHANNELS) {
for (i = 0; i < NR_EVENT_CHANNELS; i++) {
static short evtchn_tbl[NR_EVENT_CHANNELS];
static struct evtsoftdata *port_user[NR_EVENT_CHANNELS];
if ((kbuf[i] < NR_EVENT_CHANNELS) &&
if (unbind.port >= NR_EVENT_CHANNELS) {
if (notify.port >= NR_EVENT_CHANNELS) {
for (i = 0; i < NR_EVENT_CHANNELS; i++) {
if (evtchn < 0 || evtchn >= NR_EVENT_CHANNELS) {
for (i = 0; i < NR_EVENT_CHANNELS; i++)
for (i = 0; i < NR_EVENT_CHANNELS; i++) {
for (i = 0; i < NR_EVENT_CHANNELS; i++)
static ddi_softint_handle_t evtchn_to_handle[NR_EVENT_CHANNELS];
if (evtchn < 0 || evtchn >= NR_EVENT_CHANNELS) {
for (i = 0; i < NR_EVENT_CHANNELS; i++)
for (i = 0; i < NR_EVENT_CHANNELS; i++) {
static short evtchn_to_irq[NR_EVENT_CHANNELS];
static cpuset_t evtchn_cpus[NR_EVENT_CHANNELS];
static int evtchn_owner[NR_EVENT_CHANNELS];
static kthread_t *evtchn_owner_thread[NR_EVENT_CHANNELS];