diff --git a/arch/arm/src/sam34/sam4cm_cpustart.c b/arch/arm/src/sam34/sam4cm_cpustart.c
index 7a5c62f0fc6..f8544abf7fc 100644
--- a/arch/arm/src/sam34/sam4cm_cpustart.c
+++ b/arch/arm/src/sam34/sam4cm_cpustart.c
@@ -44,6 +44,7 @@
 #include <debug.h>
 #include <string.h>
 #include <stdio.h>
+#include <errno.h>
 
 #include <nuttx/arch.h>
 #include <nuttx/spinlock.h>
diff --git a/sched/init/os_start.c b/sched/init/os_start.c
index 5b8236b56ac..2d8eb2e6e14 100644
--- a/sched/init/os_start.c
+++ b/sched/init/os_start.c
@@ -470,7 +470,7 @@ void os_start(void)
        */
 
 #ifdef CONFIG_SMP
-      g_idletcb[cpu].cmn.flags = (TCB_FLAG_TTYPE_KERNEL TCB_FLAG_NONCANCELABLE |
+      g_idletcb[cpu].cmn.flags = (TCB_FLAG_TTYPE_KERNEL | TCB_FLAG_NONCANCELABLE |
                                   TCB_FLAG_CPU_LOCKED);
       g_idletcb[cpu].cmn.cpu   = cpu;
 #else