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 <marc.zyngier@xxxxxxx> Reviewed-by: Christoffer Dall <christoffer.dall@xxxxxxxxxx> -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html