aboutsummaryrefslogtreecommitdiff
path: root/xen
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-28 21:27:36 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-08-28 21:27:36 +0200
commitecc99f77810305304893d188d25e598f5645ecaf (patch)
treeccf5769f7bc8394140dd177ac00bcb65bbe6ee64 /xen
parent87cf68424591ec4576ecfc5833b2babf2d674459 (diff)
downloadgnumach-ecc99f77810305304893d188d25e598f5645ecaf.tar.gz
gnumach-ecc99f77810305304893d188d25e598f5645ecaf.tar.bz2
gnumach-ecc99f77810305304893d188d25e598f5645ecaf.zip
Fix crash at boot
spl cannot be called before the clock is set up.
Diffstat (limited to 'xen')
-rw-r--r--xen/evt.c1
1 files changed, 1 insertions, 0 deletions
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];