From 10e17b05021f05ab40c71368c9a44a7818f3c0ae Mon Sep 17 00:00:00 2001
From: Guillem Jover <guillem@hadrons.org>
Date: Thu, 1 Sep 2011 17:17:19 +0200
Subject: Add missing headers

* linux/dev/init/main.c: Include <linux/pci.h>.
* linux/dev/kernel/printk.c: Include <kern/printf.h>.
---
 linux/dev/init/main.c     | 1 +
 linux/dev/kernel/printk.c | 1 +
 2 files changed, 2 insertions(+)

diff --git a/linux/dev/init/main.c b/linux/dev/init/main.c
index 3a889832..f5c4832f 100644
--- a/linux/dev/init/main.c
+++ b/linux/dev/init/main.c
@@ -48,6 +48,7 @@
 #include <linux/delay.h>
 #include <linux/ioport.h>
 #include <linux/string.h>
+#include <linux/pci.h>
 #include <linux/dev/glue/glue.h>
 
 #include <asm/system.h>
diff --git a/linux/dev/kernel/printk.c b/linux/dev/kernel/printk.c
index 1c45b245..8bed0d2a 100644
--- a/linux/dev/kernel/printk.c
+++ b/linux/dev/kernel/printk.c
@@ -27,6 +27,7 @@
 #include <stdarg.h>
 #include <asm/system.h>
 #include <kern/assert.h>
+#include <kern/printf.h>
 #include <device/cons.h>
 
 static char buf[2048];
-- 
cgit v1.2.3