From 113d8bdccade6ba762f0ff71978b96040d585e92 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 9 Dec 2016 17:10:59 -0600
Subject: [PATCH] Fix some SMP-related compilation errors

---
 arch/arm/src/sam34/sam4cm_cpustart.c | 1 +
 sched/init/os_start.c                | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/arm/src/sam34/sam4cm_cpustart.c b/arch/arm/src/sam34/sam4cm_cpustart.c
index 7a5c62f0fc..f8544abf7f 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 5b8236b56a..2d8eb2e6e1 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