|
@@ -74,11 +74,13 @@ int kvm_handle_cp14_access(struct kvm_vcpu *vcpu, struct kvm_run *run)
|
|
|
static void reset_mpidr(struct kvm_vcpu *vcpu, const struct coproc_reg *r)
|
|
|
{
|
|
|
/*
|
|
|
- * Compute guest MPIDR. No need to mess around with different clusters
|
|
|
- * but we read the 'U' bit from the underlying hardware directly.
|
|
|
+ * Compute guest MPIDR. We build a virtual cluster out of the
|
|
|
+ * vcpu_id, but we read the 'U' bit from the underlying
|
|
|
+ * hardware directly.
|
|
|
*/
|
|
|
- vcpu->arch.cp15[c0_MPIDR] = (read_cpuid_mpidr() & MPIDR_SMP_BITMASK)
|
|
|
- | vcpu->vcpu_id;
|
|
|
+ vcpu->arch.cp15[c0_MPIDR] = ((read_cpuid_mpidr() & MPIDR_SMP_BITMASK) |
|
|
|
+ ((vcpu->vcpu_id >> 2) << MPIDR_LEVEL_BITS) |
|
|
|
+ (vcpu->vcpu_id & 3));
|
|
|
}
|
|
|
|
|
|
/* TRM entries A7:4.3.31 A15:4.3.28 - RO WI */
|