diff options
Diffstat (limited to 'src/include/kernel')
| -rw-r--r-- | src/include/kernel/devicesegment.H | 19 | ||||
| -rw-r--r-- | src/include/kernel/syscalls.H | 5 | ||||
| -rw-r--r-- | src/include/kernel/vmmmgr.H | 3 |
3 files changed, 0 insertions, 27 deletions
diff --git a/src/include/kernel/devicesegment.H b/src/include/kernel/devicesegment.H index 97d04743a..c60619705 100644 --- a/src/include/kernel/devicesegment.H +++ b/src/include/kernel/devicesegment.H @@ -58,15 +58,6 @@ class DeviceSegment : public Segment */ bool handlePageFault(task_t* i_task, uint64_t i_addr); - /** - * @brief DEPRECATED - */ - static void* mmioMap(void* ra, size_t pages); - - /** - * @brief DEPRECATED - */ - static int mmioUnmap(void* ea, size_t pages); /** * @brief Map a device into the device segment(2TB) @@ -110,16 +101,6 @@ class DeviceSegment : public Segment void _init(); /** - * @brief DEPRECATED - */ - void* _mmioMap(void* ra, size_t pages); - - /** - * @brief DEPRECATED - */ - int _mmioUnmap(void* ea, size_t pages); - - /** * @brief Map a device into the device segment(2TB) * @param ra[in] - Void pointer to real address to be mapped in * @param i_devDataSize[in] - Size of device segment block diff --git a/src/include/kernel/syscalls.H b/src/include/kernel/syscalls.H index 553fbf158..856666d74 100644 --- a/src/include/kernel/syscalls.H +++ b/src/include/kernel/syscalls.H @@ -69,11 +69,6 @@ namespace Systemcalls MSG_RESPOND, /** msg_wait() */ MSG_WAIT, - - /** mmio_map() */ - MMIO_MAP, - /** mmio_unmap() */ - MMIO_UNMAP, /** dev_map() */ DEV_MAP, /** dev_unmap() */ 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 |
