plat/xen/events: check that IRQs are disabled in ukplat_irq_init

(for consistency across platforms)

Signed-off-by: Hugo Lefeuvre <hugo.lefeuvre@manchester.ac.uk>
Reviewed-by: Cristian Vijelie <cristianvijelie@gmail.com>
Approved-by: Marc Rittinghaus <marc.rittinghaus@kit.edu>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #240

diff --git a/plat/xen/events.c b/plat/xen/events.c
index 3a1d155765c947e900dbb6b543547458aa1c050e..45de53940fcf15b98268ae55776105ffc23f108e 100644 (file)
--- a/plat/xen/events.c
+++ b/plat/xen/events.c
@@ -38,6 +38,7 @@
 #include <common/events.h>
 #include <xen/xen.h>
 #include <uk/print.h>
+#include <uk/assert.h>
 #include <uk/bitops.h>
 
 #define NR_EVS 1024
@@ -332,6 +333,8 @@ struct uk_alloc;
 
 int ukplat_irq_init(struct uk_alloc *a __unused)
 {
+       UK_ASSERT(ukplat_lcpu_irqs_disabled());
+
        /* Nothing for now */
        return 0;
 }