From 36c1f7ccf007c80a571c148301073e34777d57f1 Mon Sep 17 00:00:00 2001
From: Masayuki Ishikawa <masayuki.ishikawa@gmail.com>
Date: Sun, 24 May 2020 20:04:49 +0900
Subject: [PATCH] arch: tiva: Introduce tiva_idle.c

---
 arch/arm/src/tiva/Make.defs          |  2 +-
 arch/arm/src/tiva/common/tiva_idle.c | 62 ++++++++++++++++++++++++++++
 2 files changed, 63 insertions(+), 1 deletion(-)
 create mode 100644 arch/arm/src/tiva/common/tiva_idle.c

diff --git a/arch/arm/src/tiva/Make.defs b/arch/arm/src/tiva/Make.defs
index 9875cf26d2..7a6c5255d5 100644
--- a/arch/arm/src/tiva/Make.defs
+++ b/arch/arm/src/tiva/Make.defs
@@ -59,7 +59,7 @@ ifeq ($(CONFIG_ARM_SEMIHOSTING_HOSTFS),y)
 endif
 
 ifneq ($(CONFIG_ARCH_IDLE_CUSTOM),y)
-  CMN_CSRCS += arm_idle.c
+  CMN_CSRCS += tiva_idle.c
 endif
 
 ifeq ($(CONFIG_ARMV7M_LAZYFPU),y)
diff --git a/arch/arm/src/tiva/common/tiva_idle.c b/arch/arm/src/tiva/common/tiva_idle.c
new file mode 100644
index 0000000000..3d5f1f9c0f
--- /dev/null
+++ b/arch/arm/src/tiva/common/tiva_idle.c
@@ -0,0 +1,62 @@
+/****************************************************************************
+ *  arch/arm/src/tiva/common/tiva_idle.c
+ *
+ * Licensed to the Apache Software Foundation (ASF) under one or more
+ * contributor license agreements.  See the NOTICE file distributed with
+ * this work for additional information regarding copyright ownership.  The
+ * ASF licenses this file to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the
+ * License.  You may obtain a copy of the License at
+ *
+ *   http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.  See the
+ * License for the specific language governing permissions and limitations
+ * under the License.
+ *
+ ****************************************************************************/
+
+/****************************************************************************
+ * Included Files
+ ****************************************************************************/
+
+#include <nuttx/config.h>
+
+#include <nuttx/arch.h>
+#include "arm_internal.h"
+
+/****************************************************************************
+ * Public Functions
+ ****************************************************************************/
+
+/****************************************************************************
+ * Name: up_idle
+ *
+ * Description:
+ *   up_idle() is the logic that will be executed when their is no other
+ *   ready-to-run task.  This is processor idle time and will continue until
+ *   some interrupt occurs to cause a context switch from the idle task.
+ *
+ *   Processing in this state may be processor-specific. e.g., this is where
+ *   power management operations might be performed.
+ *
+ ****************************************************************************/
+
+void up_idle(void)
+{
+#if defined(CONFIG_SUPPRESS_INTERRUPTS) || defined(CONFIG_SUPPRESS_TIMER_INTS)
+  /* If the system is idle and there are no timer interrupts, then process
+   * "fake" timer interrupts. Hopefully, something will wake up.
+   */
+
+  nxsched_process_timer();
+#else
+
+  /* Sleep until an interrupt occurs to save power */
+
+  asm("WFI");
+
+#endif
+}