On Thu, 15 Feb 2018 21:03:09 +0000, Christoffer Dall wrote: > > There's a semantic difference between the EL1 registers that control > operation of a kernel running in EL1 and EL1 registers that only control > userspace execution in EL0. Since we can defer saving/restoring the > latter, move them into their own function. > > ACTLR_EL1 is not used by a VHE host, so we can move this register into > the EL1 state which is not saved/restored for a VHE host. Nit: maybe worth adding a reference to the D10.2.1 comment in the ARMv8 ARM that indicates the "recommended" behaviour of this register? > > We also take this chance to rename the function saving/restoring the > remaining system register to make it clear this function deals with > the EL1 system registers. > > Reviewed-by: Andrew Jones <drjones@xxxxxxxxxx> > Signed-off-by: Christoffer Dall <christoffer.dall@xxxxxxxxxx> Reviewed-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead, it just smell funny.
