---
 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



Reply via email to