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> -- 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