diff options
Diffstat (limited to 'src/include/kernel/vmmmgr.H')
| -rw-r--r-- | src/include/kernel/vmmmgr.H | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/include/kernel/vmmmgr.H b/src/include/kernel/vmmmgr.H index 6e41ddb34..845066229 100644 --- a/src/include/kernel/vmmmgr.H +++ b/src/include/kernel/vmmmgr.H @@ -85,9 +85,6 @@ class VmmManager */ static bool pteMiss(task_t* t, uint64_t effAddr); - static void* mmioMap(void*, size_t); - static int mmioUnmap(void*, size_t); - /** * @brief Map a device into the device segment(2TB) * @param ra[in] - Void pointer to real address to be mapped in |
