tree b744d6b9de7d01a55ea67f2b310440a3f9056162
parent 1d39b293e011127ef430926d7c032171e5878ec7
author Marc Zyngier <marc.zyngier@arm.com> 1322057750 +0000
committer Marc Zyngier <marc.zyngier@arm.com> 1322133627 +0000

ARM: KVM: fix guest view of MPIDR

A guest may need to know which CPU it has booted on (and Linux does).
Now that we can run KVM on a SMP host, QEMU may be running on any
CPU. In that case, directly reading MPIDR will give an inconsistent
view on the guest CPU number (among other problems).

The solution is to use the VMPIDR register, which is computed by
using the host MPIDR and overriding the low bits with KVM vcpu_id.

Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>