diff options
Diffstat (limited to 'src/kernel/vmmmgr.C')
| -rw-r--r-- | src/kernel/vmmmgr.C | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/src/kernel/vmmmgr.C b/src/kernel/vmmmgr.C index e7240dc11..9902a0527 100644 --- a/src/kernel/vmmmgr.C +++ b/src/kernel/vmmmgr.C @@ -5,7 +5,7 @@ /* */ /* OpenPOWER HostBoot Project */ /* */ -/* Contributors Listed Below - COPYRIGHT 2010,2016 */ +/* Contributors Listed Below - COPYRIGHT 2010,2017 */ /* [+] International Business Machines Corp. */ /* */ /* */ @@ -277,7 +277,7 @@ int VmmManager::_devUnmap(void* ea) uint64_t VmmManager::HTABORG() { - return ((uint32_t)HTABORG_OFFSET + getHRMOR()); + return static_cast<uint32_t>(pageTableOffset()) + getHRMOR(); } uint64_t VmmManager::findKernelAddress(uint64_t i_vaddr) @@ -304,3 +304,13 @@ int VmmManager::_mmLinearMap(void *i_paddr, uint64_t i_size) lock.unlock(); return rc; } + +uint64_t VmmManager::pageTableOffset() +{ + return Singleton<VmmManager>::instance()._pageTableOffset(); +} + +uint64_t VmmManager::_pageTableOffset() const +{ + return INITIAL_PT_OFFSET; +} |
