tree fcae2ccc844be34f24043b7d14b4a373ecfd5e4a
parent a1a64387adeeba7a34ce06f2774e81f496ee803b
author Andre Przywara <andre.przywara@linaro.org> 1386941006 +0100
committer Christoffer Dall <christoffer.dall@linaro.org> 1387648815 -0800

ARM/KVM: save and restore generic timer registers

For migration to work we need to save (and later restore) the state of
each core's virtual generic timer.
Since this is per VCPU, we can use the [gs]et_one_reg ioctl and export
the three needed registers (control, counter, compare value).
Though they live in cp15 space, we don't use the existing list, since
they need special accessor functions and the arch timer is optional.

Acked-by: Marc Zynger <marc.zyngier@arm.com>
Signed-off-by: Andre Przywara <andre.przywara@linaro.org>
Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org>