From 5b5d7cda3184ff7456d1b43b8dfb5e212709ee75 Mon Sep 17 00:00:00 2001
From: Patrick Williams <iawillia@us.ibm.com>
Date: Fri, 2 Jul 2010 13:31:33 -0500
Subject: Remove extra ptesync

---
 src/include/kernel/vmmmgr.H | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'src/include')

diff --git a/src/include/kernel/vmmmgr.H b/src/include/kernel/vmmmgr.H
index 18d1f0862..7ea2350bb 100644
--- a/src/include/kernel/vmmmgr.H
+++ b/src/include/kernel/vmmmgr.H
@@ -113,12 +113,6 @@ class VmmManager
 	{
 	    return (pte.b & 0x0FFFFFFFFFFFF000) >> 12;
 	}
-
-	inline void pteSync()
-	{
-	    asm volatile("ptesync" ::: "memory");
-	}
-
 };
 
 #endif
-- 
cgit v1.2.1