From ae546ecc27aa0449352e15956fc29fd0d5916403 Mon Sep 17 00:00:00 2001
From: Felix Held <felix.held@amd.corp-partner.google.com>
Date: Fri, 17 Sep 2021 00:18:01 +0200
Subject: [PATCH] drivers/gic/gic: add missing arch/cpu.h include

smp_processor_id is defined in src/arch/arm64/include/armv8/arch/cpu.h.

Signed-off-by: Felix Held <felix-coreboot@felixheld.de>
Change-Id: I0b610189bf439774cb900f74559dee314cbc5854
Reviewed-on: https://review.coreboot.org/c/coreboot/+/57728
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Raul Rangel <rrangel@chromium.org>
---
 src/drivers/gic/gic.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/drivers/gic/gic.c b/src/drivers/gic/gic.c
index 12cedfcf21..610c0b8e89 100644
--- a/src/drivers/gic/gic.c
+++ b/src/drivers/gic/gic.c
@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <arch/cpu.h>
 #include <device/mmio.h>
 #include <console/console.h>
 #include <gic.h>