From: Juergen Gross <jgross@suse.com>
Date: Thu, 16 Apr 2020 12:27:00 +0000 (+0200)
Subject: mini-os: allow 4096 event channels for 64-bit mini-os
X-Git-Tag: xen-RELEASE-4.14.0~2
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=47e1bb4c95c8eee1ccf358c2d8df96667bd0c3ce;p=mini-os.git

mini-os: allow 4096 event channels for 64-bit mini-os

Limiting the number of event channels to 1024 is fine for 32-bit
builds, but not for 64-bit ones. This might be a problem when using
Xenstore-stubdom as the number of domains which can be supported is
then limited to a little bit more than 1000.

So raise the number of event channels to 4096 in 64-bit builds.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---

diff --git a/events.c b/events.c
index 342aead..cdae90f 100644
--- a/events.c
+++ b/events.c
@@ -23,7 +23,7 @@
 #include <mini-os/lib.h>
 #include <xen/xsm/flask_op.h>
 
-#define NR_EVS 1024
+#define NR_EVS EVTCHN_2L_NR_CHANNELS
 
 /* this represents a event handler. Chaining or sharing is not allowed */
 typedef struct _ev_action_t {