dev: Get PageBytes from the system in the ARM generic timer.
authorGabe Black <gabeblack@google.com>
Tue, 29 Oct 2019 02:55:15 +0000 (19:55 -0700)
committerGabe Black <gabeblack@google.com>
Wed, 30 Oct 2019 08:51:02 +0000 (08:51 +0000)
commit1c8ce99ac3a19bb93df13aa6b0b0c976bfe56e89
tree8f980990662a1cd2466d1c7760512aaaede1b39e
parentf5f60a5e467f74dc14b10d431795363deff33b76
dev: Get PageBytes from the system in the ARM generic timer.

These will ultimately by ArmISA::PageBytes, but this is more consistent
with other devices which don't know what ISA they're part of.

Change-Id: Iac13d5010564512207ed009377a771ee5949eff3
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/22269
Tested-by: kokoro <noreply+kokoro@google.com>
Reviewed-by: Jason Lowe-Power <jason@lowepower.com>
Maintainer: Jason Lowe-Power <jason@lowepower.com>
src/dev/arm/generic_timer.cc