diff options
| -rw-r--r-- | src/dev/arm/generic_timer.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/dev/arm/generic_timer.cc b/src/dev/arm/generic_timer.cc index 396926f40..430b4ebfa 100644 --- a/src/dev/arm/generic_timer.cc +++ b/src/dev/arm/generic_timer.cc @@ -524,8 +524,9 @@ GenericTimerISA::readMiscReg(int reg) GenericTimerMem::GenericTimerMem(GenericTimerMemParams *p) : PioDevice(p), - ctrlRange(RangeSize(p->base, TheISA::PageBytes)), - timerRange(RangeSize(p->base + TheISA::PageBytes, TheISA::PageBytes)), + ctrlRange(RangeSize(p->base, sys->getPageBytes())), + timerRange(RangeSize(p->base + sys->getPageBytes(), + sys->getPageBytes())), addrRanges{ctrlRange, timerRange}, systemCounter(), physTimer(csprintf("%s.phys_timer0", name()), |