diff --git a/libcpu/aarch64/common/setup.c b/libcpu/aarch64/common/setup.c
index d64dfc98119..e9908a737a0 100644
--- a/libcpu/aarch64/common/setup.c
+++ b/libcpu/aarch64/common/setup.c
@@ -13,7 +13,9 @@
 #define DBG_TAG "cpu.aa64"
 #define DBG_LVL DBG_INFO
 #include <rtdbg.h>
+#ifdef RT_USING_SMP
 #include <smp_call.h>
+#endif /* RT_USING_SMP */
 #include <cpu.h>
 #include <mmu.h>
 #include <cpuport.h>