trivial: Set vmpidr value to vcpu instead pcpu

Alex Pavey · chrisguikema · commit 2094fefc6309 · 2024-02-01T09:57:55.000-05:00
Signed-off-by: Alex Pavey &lt;Alex.Pavey@dornerworks.com&gt;
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) {

Original file line number	Diff line number	Diff line change
`@@ -181,7 +181,7 @@ int vcpu_start(vm_vcpu_t *vcpu)`
`181`	`181`	`*/`
`182`	`182`	`vmpidr_val = BIT(24) \| BIT(31);`
`183`	`183`	`} else {`
`184`		`- vmpidr_val = vcpu->target_cpu;`
	`184`	`+ vmpidr_val = vcpu->vcpu_id;`
`185`	`185`	`}`
`186`	`186`	`err = vm_set_arm_vcpu_reg(vcpu, vmpidr_reg, vmpidr_val);`
`187`	`187`	`if (err) {`