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