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> _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
