From 97360824eebc80e9a68fef9ef699f3c0ff8bd792 Mon Sep 17 00:00:00 2001 From: Kent McLeod Date: Fri, 23 Feb 2024 17:10:34 +1100 Subject: [PATCH] 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 --- libsel4vm/src/arch/arm/vm.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/libsel4vm/src/arch/arm/vm.c b/libsel4vm/src/arch/arm/vm.c index ceb7993b8..a05a4a4a7 100644 --- 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)); }