---
kern/startup.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/kern/startup.c b/kern/startup.c
index 1f873192..499ef0f1 100644
--- a/kern/startup.c
+++ b/kern/startup.c
@@ -242,6 +242,7 @@ void start_kernel_threads(void)
/*
* Allow other CPUs to run.
*/
+ splhigh();
start_other_cpus();
#endif /* NCPUS > 1 */-- 2.34.1
