diff options
Diffstat (limited to 'dev/kernel/src/PageMgr.cc')
| -rw-r--r-- | dev/kernel/src/PageMgr.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/kernel/src/PageMgr.cc b/dev/kernel/src/PageMgr.cc index 7e385f26..f60fa57a 100644 --- a/dev/kernel/src/PageMgr.cc +++ b/dev/kernel/src/PageMgr.cc @@ -30,9 +30,9 @@ PTEWrapper::~PTEWrapper() = default; /// @brief Flush virtual address. /// @param VirtAddr Void PageMgr::FlushTLB() { -#ifndef __NE_MINIMAL_OS__ +#ifdef __NE_VIRTUAL_MEMORY_SUPPORT__ hal_flush_tlb(); -#endif // !__NE_MINIMAL_OS__ +#endif // !__NE_VIRTUAL_MEMORY_SUPPORT__ } /// @brief Reclaim freed page. |