diff options
| -rw-r--r-- | src/include/kernel/vmmmgr.H | 6 | ||||
| -rw-r--r-- | src/kernel/vmmmgr.C | 3 |
2 files changed, 0 insertions, 9 deletions
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 diff --git a/src/kernel/vmmmgr.C b/src/kernel/vmmmgr.C index db19d36a3..1cbf33e55 100644 --- a/src/kernel/vmmmgr.C +++ b/src/kernel/vmmmgr.C @@ -49,9 +49,6 @@ void VmmManager::initPTEs() setPage(i, pte); setValid(true, pte); } - - // PTE sync. - pteSync(); } void VmmManager::initSDR1() |
