diff options
Diffstat (limited to 'src/kernel/vmmmgr.C')
-rw-r--r-- | src/kernel/vmmmgr.C | 3 |
1 files changed, 0 insertions, 3 deletions
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() |