[PATCH v2 13/28] ARM: KVM: Add banked registers save/restore

On Thu, Feb 04, 2016 at 11:00:30AM +0000, Marc Zyngier wrote:

Banked registers are one of the many perks of the 32bit architecture,
and the world switch needs to cope with it.

This requires some "special" accessors, as these are not accessed
using a standard coprocessor instruction.

Signed-off-by: Marc Zyngier <redacted>

Reviewed-by: Christoffer Dall <redacted>