Changeset 9311:0ad8b4be45cc
---------------------------
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).

util/regress all passing (disregarding t1000 and eio)