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