smp: nmi ipi support

This commit is contained in:
Matheus
2024-05-26 20:51:54 -03:00
parent dd1719096a
commit 8d42b80855
5 changed files with 20 additions and 8 deletions
+1 -1
View File
@@ -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);
arch_smp_sendipi(NULL, &_cpu()->isr[0xfe], ARCH_SMP_IPI_OTHERCPUS, true);
while (__atomic_load_n(&remaining, __ATOMIC_SEQ_CST)) CPU_PAUSE();