On 19/01/16 16:20, Dave Martin wrote: > Some bits in CPTR are defined as RES1 in the architecture. Setting > these bits to zero may unintentionally enable future architecture > extensions, allowing guests to use them without supervision by the host. > > This would be bad: for forwards compatibility, this patch makes > sure the affected bits are always written with 1, not 0. > > This patch only addresses CPTR_EL2. Initialisation of other system > registers may still need review. > > Signed-off-by: Dave Martin <Dave.Martin@xxxxxxx> Thanks for putting this together: Reviewed-by: Marc Zyngier <marc.zyngier@xxxxxxx> Unless someone has an objection, I plan to queue this post -rc1. M. -- Jazz is not dead. It just smells funny... _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm