On Thu, 15 Feb 2018 21:03:21 +0000, Christoffer Dall wrote: > > 32-bit registers are not used by a 64-bit host kernel and can be > deferred, but we need to rework the accesses to this register to access > the latest value depending on whether or not guest system registers are > loaded on the CPU or only reside in memory. > > Signed-off-by: Christoffer Dall <christoffer.dall@xxxxxxxxxx> Ah, much nicer than the "clunky" version! :-) Reviewed-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead, it just smell funny.
