diff --git a/kernel-src/arch/x86-64/mmu.c b/kernel-src/arch/x86-64/mmu.c index 6c0f6418..00040eed 100644 --- a/kernel-src/arch/x86-64/mmu.c +++ b/kernel-src/arch/x86-64/mmu.c @@ -220,7 +220,7 @@ void arch_mmu_tlbshootdown(void *page) { mmupage = page; remaining = arch_smp_cpusawake - 1; - arch_smp_sendipi(NULL, &_cpu()->isr[0xfe], ARCH_SMP_IPI_OTHERCPUS, true); + arch_smp_sendipi(NULL, &_cpu()->isr[0xfe], ARCH_SMP_IPI_OTHERCPUS, false); while (__atomic_load_n(&remaining, __ATOMIC_SEQ_CST)) CPU_PAUSE();