[mini-os master] mini-os: allow 4096 event channels for 64-bit mini-os

[patchbot@xxxxxxx]

commit 47e1bb4c95c8eee1ccf358c2d8df96667bd0c3ce
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Thu Apr 16 14:27:00 2020 +0200
Commit:     Wei Liu <wl@xxxxxxx>
CommitDate: Thu Apr 16 14:31:30 2020 +0100

    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@xxxxxxxx>
    Reviewed-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>
---
 events.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {
--
generated by git-patchbot for /home/xen/git/mini-os.git#master