From fbdc34e0b1301b9d300a9ed5b401df94f1df922c Mon Sep 17 00:00:00 2001
From: Keith Short <keithshort@google.com>
Date: Wed, 12 Oct 2022 10:55:21 -0600
Subject: [PATCH] include: fix includes for NPCX drivers

Add include of kernel.h for drivers using Kernel APIs.

Signed-off-by: Keith Short <keithshort@google.com>
---
 drivers/watchdog/wdt_npcx.c | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/drivers/watchdog/wdt_npcx.c b/drivers/watchdog/wdt_npcx.c
index 52df7c58662..7f23fcaf678 100644
--- a/drivers/watchdog/wdt_npcx.c
+++ b/drivers/watchdog/wdt_npcx.c
@@ -28,14 +28,17 @@
  *
  */
 
-#include <assert.h>
-#include <zephyr/drivers/gpio.h>
-#include <zephyr/drivers/clock_control.h>
-#include <zephyr/drivers/watchdog.h>
-#include <soc.h>
-
 #include "soc_miwu.h"
+
+#include <assert.h>
+
+#include <zephyr/drivers/clock_control.h>
+#include <zephyr/drivers/gpio.h>
+#include <zephyr/drivers/watchdog.h>
+#include <zephyr/kernel.h>
 #include <zephyr/logging/log.h>
+
+#include <soc.h>
 LOG_MODULE_REGISTER(wdt_npcx, CONFIG_WDT_LOG_LEVEL);
 
 /* Watchdog operating frequency is fixed to LFCLK (32.768) kHz */