On Wed, Feb 21, 2018 at 04:27:25PM +0000, Marc Zyngier wrote:

On Thu, 15 Feb 2018 21:03:22 +0000,
Christoffer Dall wrote:

quoted

When running a 32-bit VM (EL1 in AArch32), the AArch32 system registers
can be deferred to vcpu load/put on VHE systems because neither
the host kernel nor host userspace uses these registers.

Note that we can not defer saving DBGVCR32_EL2 conditionally based
on the state of the debug dirty flag on VHE, but since we do the
load/put pretty rarely, this comes out as a win anyway.

I'm not sure I understand that comment. We don't have any deferring
for this register, so the load/put reference seems out of place.

Yeah, this is a patch description editing snafu.  I'll fix it.

Thanks,
-Christoffer