From 111a8696d80911cd02ef271e9f8fe97c8a12ddaa Mon Sep 17 00:00:00 2001 From: Matheus Date: Tue, 6 Oct 2026 11:00:19 -0300 Subject: [PATCH] mmu: move tlb shootdown to IPL_MAX Currently, with IPL_IGNORE, tlb shootdown is not being treated as an irq and thus does not contribute to the irq depth. Move it to the highest possible IPL. --- kernel-src/arch/x86-64/mmu.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel-src/arch/x86-64/mmu.c b/kernel-src/arch/x86-64/mmu.c index 777949fe..78400efb 100644 --- a/kernel-src/arch/x86-64/mmu.c +++ b/kernel-src/arch/x86-64/mmu.c @@ -442,5 +442,5 @@ void arch_mmu_apswitch() { interrupt_register(12, gpfisr, NULL, IPL_IGNORE); interrupt_register(13, gpfisr, NULL, IPL_IGNORE); interrupt_register(14, pfisr, NULL, IPL_IGNORE); - interrupt_register(0xfe, arch_mmu_tlbipi, ARCH_EOI, IPL_IGNORE); + interrupt_register(0xfe, arch_mmu_tlbipi, ARCH_EOI, IPL_MAX); }