libsel4vm: Remove SMP config guard on vmpidr reg

seL4_ARM_VCPU objects now allow single core configurations to access the VMPIDR register, thus this config guard is no longer needed. Signed-off-by: Kent McLeod <[email protected]>
seL4 · Mar 14, 2024 · 9736082 · 9736082
1 parent 4662171
commit 9736082
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/libsel4vm/src/arch/arm/vm.c b/libsel4vm/src/arch/arm/vm.c
@@ -168,7 +168,6 @@ int vcpu_start(vm_vcpu_t *vcpu)
     seL4_Word vmpidr_val;
     seL4_Word vmpidr_reg;
 
-#if CONFIG_MAX_NUM_NODES > 1
 #ifdef CONFIG_ARCH_AARCH64
     vmpidr_reg = seL4_VCPUReg_VMPIDR_EL2;
 #else
@@ -188,7 +187,6 @@ int vcpu_start(vm_vcpu_t *vcpu)
         ZF_LOGE("Failed to set VMPIDR register");
         return -1;
     }
-#endif
     return seL4_TCB_Resume(vm_get_vcpu_tcb(vcpu));
 }