From: John Hodge (sonata) <tpg@mutabah.net>
Date: Sun, 9 Dec 2012 05:00:36 +0000 (+0800)
Subject: Kernel/x86 - Fixed VMM bug causing ACPI crash
X-Git-Tag: rel0.15~610
X-Git-Url: https://git.ucc.asn.au/?a=commitdiff_plain;h=68f8179ab9eb6380323dc4b19cf4cc1603b576f5;p=tpg%2Facess2.git

Kernel/x86 - Fixed VMM bug causing ACPI crash
---

diff --git a/KernelLand/Kernel/arch/x86/mm_virt.c b/KernelLand/Kernel/arch/x86/mm_virt.c
index 868fe86a..e04b4ae7 100644
--- a/KernelLand/Kernel/arch/x86/mm_virt.c
+++ b/KernelLand/Kernel/arch/x86/mm_virt.c
@@ -1148,6 +1148,7 @@ void MM_UnmapHWPages(tVAddr VAddr, Uint Number)
 	{
 		MM_DerefPhys( gaPageTable[ i + j ] & ~0xFFF );
 		gaPageTable[ i + j ] = 0;
+		INVLPG( (tVAddr)(i+j) << 12 );
 	}
 	
 	Mutex_Release( &glTempMappings );