diff options
Diffstat (limited to 'src/kernel/ptmgr.C')
-rw-r--r-- | src/kernel/ptmgr.C | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/kernel/ptmgr.C b/src/kernel/ptmgr.C index bb1380b4d..878dea807 100644 --- a/src/kernel/ptmgr.C +++ b/src/kernel/ptmgr.C @@ -313,8 +313,6 @@ void PageTableManager::flush( void ) /******************** Private/Protected Methods ********************/ -#include <sys/mm.h> //@TODO: Remove with 43401 -#include <usr/vmmconst.h> //@TODO: Remove with 43401. /** * @brief Constructor */ |