From c295e3e51268b01d571301b27fcfb53f576a4957 Mon Sep 17 00:00:00 2001
From: Antonios Motakis <antonios.motakis@huawei.com>
Date: Wed, 12 Aug 2015 18:21:59 +0200
Subject: [PATCH] core: arm: add missing include to gic-common.c

Add a missing include to gic-common.c

Signed-off-by: Antonios Motakis <antonios.motakis@huawei.com>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
---
 hypervisor/arch/arm/gic-common.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hypervisor/arch/arm/gic-common.c b/hypervisor/arch/arm/gic-common.c
index c51238c..00da4cb 100644
--- a/hypervisor/arch/arm/gic-common.c
+++ b/hypervisor/arch/arm/gic-common.c
@@ -13,6 +13,7 @@
 #include <jailhouse/cell.h>
 #include <jailhouse/control.h>
 #include <jailhouse/mmio.h>
+#include <jailhouse/printk.h>
 #include <asm/control.h>
 #include <asm/gic_common.h>
 #include <asm/irqchip.h>
-- 
2.39.2