X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Farch%2Fx86%2Fmm_virt.c;h=e04b4ae7879c8f1cbcbe6d18860b6de233d01cfd;hb=68f8179ab9eb6380323dc4b19cf4cc1603b576f5;hp=868fe86a55d2039c64e8ca52558fe0de84378dfa;hpb=4e3d3dfaa9e9cd4f7a83416ea87e498b4836052e;p=tpg%2Facess2.git

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 );