Merge remote-tracking branch 'kiszka/master'

[jailhouse.git] / hypervisor / arch / arm / smp-vexpress.c

diff --git a/hypervisor/arch/arm/smp-vexpress.c b/hypervisor/arch/arm/smp-vexpress.c
index 055344870e4c39f700a6a98a847f1793023276fc..07875fa387e147da0c94f467563f543f10a704c6 100644 (file)
--- 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>