[PATCH v4 27/32] arm64: KVM: 32bit specific register world switch

[Catalin Marinas]

On Tue, May 14, 2013 at 03:13:55PM +0100, Marc Zyngier wrote:
> Allow registers specific to 32bit guests to be saved/restored
> during the world switch.
> 
> Reviewed-by: Christopher Covington <cov at codeaurora.org>
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

Reviewed-by: Catalin Marinas <catalin.marinas at arm.com>