[PATCH] ARM/KVM: save and restore generic timer registers

[Peter Maydell]

On 5 June 2013 22:11, Andre Przywara <andre.przywara at linaro.org> wrote:
> On 06/05/2013 09:23 PM, Christoffer Dall wrote:
>> To avoid the extra storage overhead here I suggest you just export the
>> registers using a separate number space for the ONE_REG ioctl instead of
>> piggybacking on the cp15 exports.

This is letting the kernel's internal implementation details
affect the userspace API -- I think that's a bad idea.
As Andre says, we went through a round like this, and my
opinion was that since these are cp15 registers the logical
place to put them is in cp15 space.

thanks
-- PMM