diff --git a/kernel/src/memory/VMM.cpp b/kernel/src/memory/VMM.cpp index 8552c0d4..b87a9f26 100644 --- a/kernel/src/memory/VMM.cpp +++ b/kernel/src/memory/VMM.cpp @@ -57,6 +57,8 @@ namespace Paging PDE = PT->entries[P_i]; PDE.Present = false; PT->entries[P_i] = PDE; + invalidate: + asm volatile("invlpg (%0)" : : "r"(virtualAddress) : "memory"); } uint64_t VirtualMemoryManager::getPhysical(uint64_t virtualAddress)