From ecc99f77810305304893d188d25e598f5645ecaf Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Mon, 28 Aug 2023 21:27:36 +0200
Subject: Fix crash at boot

spl cannot be called before the clock is set up.
---
 xen/evt.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'xen/evt.c')

diff --git a/xen/evt.c b/xen/evt.c
index e0c93744..7296ae43 100644
--- a/xen/evt.c
+++ b/xen/evt.c
@@ -29,6 +29,7 @@
 int	int_mask[NSPL];
 
 spl_t curr_ipl[NCPUS];
+int spl_init = 0;
 
 interrupt_handler_fn ivect[NEVNT];
 int intpri[NEVNT];
-- 
cgit v1.2.3