On Tue, May 20, 2014 at 05:55:41PM +0100, Marc Zyngier wrote: > An interesting "feature" of the CP14 encoding is that there is > an overlap between 32 and 64bit registers, meaning they cannot > live in the same table as we did for CP15. > > Create separate tables for 64bit CP14 and CP15 registers, and > let the top level handler use the right one. > > Reviewed-by: Anup Patel <anup.patel@xxxxxxxxxx> > 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