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.
---
 i386/i386at/ioapic.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'i386/i386at/ioapic.c')

diff --git a/i386/i386at/ioapic.c b/i386/i386at/ioapic.c
index 73fd216a..218f9a51 100644
--- a/i386/i386at/ioapic.c
+++ b/i386/i386at/ioapic.c
@@ -40,6 +40,7 @@ uint32_t lapic_timer_val = 0;
 uint32_t calibrated_ticks = 0;
 
 spl_t curr_ipl[NCPUS] = {0};
+int spl_init = 0;
 
 int iunit[NINTR] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15,
                     16, 17, 18, 19, 20, 21, 22, 23};
-- 
cgit v1.2.3