On 5 June 2013 22:11, Andre Przywara [off-list ref] wrote:

On 06/05/2013 09:23 PM, Christoffer Dall wrote:

quoted

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