From 02cce83387df71c5cf4be5b8db14ed1658a162be Mon Sep 17 00:00:00 2001
From: Daniel Leung <daniel.leung@intel.com>
Date: Wed, 8 Nov 2023 15:37:25 -0800
Subject: [PATCH] zephyr: use k_cpu_idle instead of arch_cpu_idle

arch_cpu_idle() is an internal API that should not be used
outside of the main Zephyr. Use k_cpu_idle() instead, which
is the same thing (at least for now).

Signed-off-by: Daniel Leung <daniel.leung@intel.com>
---
 lib/system/zephyr/sys.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/system/zephyr/sys.c b/lib/system/zephyr/sys.c
index 18dacea8..c2c96a25 100644
--- a/lib/system/zephyr/sys.c
+++ b/lib/system/zephyr/sys.c
@@ -12,12 +12,12 @@
 #include <metal/io.h>
 #include <metal/sys.h>
 
-#include <zephyr/sys/arch_interface.h>
+#include <zephyr/kernel.h>
 
 /**
  * @brief poll function until some event happens
  */
 void metal_weak metal_generic_default_poll(void)
 {
-	arch_cpu_idle();
+	k_cpu_idle();
 }