arm: Use table walker clock that is inherited from CPU
authorAndreas Hansson <andreas.hansson@arm.com>
Thu, 25 Oct 2012 08:32:42 +0000 (04:32 -0400)
committerAndreas Hansson <andreas.hansson@arm.com>
Thu, 25 Oct 2012 08:32:42 +0000 (04:32 -0400)
commit1fdc4e850e3e1fafb0b0c7cd7bd534c5cbe3013d
tree749f59925c4187c857757f77fd5e3fab879a3baf
parenta4329af937870e832caf3fc34e2ca448f2322ecc
arm: Use table walker clock that is inherited from CPU

This patch simplifies the scheduling of the next walk for the ARM
table walker. Previously it used the CPU clock, but as the table
walker inherits the clock from the CPU, it is cleaner to simply use
its own clock (which is the same).
src/arch/arm/table_walker.cc