From 12fa8335a32af29f68960ca0468e059da400e6ea Mon Sep 17 00:00:00 2001
From: Huifeng Zhang <Huifeng.Zhang@arm.com>
Date: Mon, 12 Dec 2022 15:37:37 +0800
Subject: [PATCH] drivers: gicv3: add zephyr kernel header file

zephyr kernel header file should be included otherwise gcc will report
the warning: implicit declaration of function 'k_aligned_alloc' and
the return value of 'k_aligned_alloc' will be treated as an int type,
which will cause an error on the 64 bits platform.

Signed-off-by: Huifeng Zhang <Huifeng.Zhang@arm.com>
---
 drivers/interrupt_controller/intc_gicv3.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/drivers/interrupt_controller/intc_gicv3.c b/drivers/interrupt_controller/intc_gicv3.c
index 1b3d383e0a..8127e36ec2 100644
--- a/drivers/interrupt_controller/intc_gicv3.c
+++ b/drivers/interrupt_controller/intc_gicv3.c
@@ -4,6 +4,7 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
+#include <zephyr/kernel.h>
 #include <zephyr/arch/cpu.h>
 #include <zephyr/sys/__assert.h>
 #include <zephyr/sw_isr_table.h>