From fd447ceecb0e2555d017c3b73c9bd5d9b62f1436 Mon Sep 17 00:00:00 2001
From: Jan Kiszka <jan.kiszka@siemens.com>
Date: Tue, 14 Jun 2016 07:26:33 +0200
Subject: [PATCH] arm: Add missing printk.h include

Some implicit inclusion disappeared.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
---
 hypervisor/arch/arm/smp-vexpress.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hypervisor/arch/arm/smp-vexpress.c b/hypervisor/arch/arm/smp-vexpress.c
index 0553448..07875fa 100644
--- a/hypervisor/arch/arm/smp-vexpress.c
+++ b/hypervisor/arch/arm/smp-vexpress.c
@@ -11,6 +11,7 @@
  */
 
 #include <jailhouse/control.h>
+#include <jailhouse/printk.h>
 #include <jailhouse/processor.h>
 #include <asm/irqchip.h>
 #include <asm/paging.h>
-- 
2.39.2