trivial: Set vmpidr value to vcpu instead pcpu

Signed-off-by: Alex Pavey <[email protected]>
seL4 · Nov 17, 2022 · 882e6c3 · 882e6c3
1 parent f3d10f7
commit 882e6c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4vm/src/arch/arm/vm.c b/libsel4vm/src/arch/arm/vm.c
@@ -181,7 +181,7 @@ int vcpu_start(vm_vcpu_t *vcpu)
          */
         vmpidr_val = BIT(24) | BIT(31);
     } else {
-        vmpidr_val = vcpu->target_cpu;
+        vmpidr_val = vcpu->vcpu_id;
     }
     err = vm_set_arm_vcpu_reg(vcpu, vmpidr_reg, vmpidr_val);
     if (err) {