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