tree 2ecf6a0ef7ed9359545f426f78277b4fb1a5fde9
parent 5863c2ce7269a7b24d60006430aa79a750b226ec
author Marc Zyngier <marc.zyngier@arm.com> 1358814975 -0500
committer Marc Zyngier <marc.zyngier@arm.com> 1360609203 +0000

ARM: KVM: VGIC control interface world switch

Enable the VGIC control interface to be save-restored on world switch.

Reviewed-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>