diff options
Diffstat (limited to 'src/kernel/devicesegment.C')
| -rw-r--r-- | src/kernel/devicesegment.C | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kernel/devicesegment.C b/src/kernel/devicesegment.C index bdf1eab0f..7fb4803dd 100644 --- a/src/kernel/devicesegment.C +++ b/src/kernel/devicesegment.C @@ -111,7 +111,7 @@ bool DeviceSegment::handlePageFault(task_t* i_task, uint64_t i_addr) PageTableManager::addEntry((i_addr / PAGESIZE) * PAGESIZE, (iv_mmioMap[idx].addr + device_offset) / PAGESIZE, - VmmManager::CI_ACCESS); + SegmentManager::CI_ACCESS); return true; } |
