summaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorGuillem Jover <guillem@hadrons.org>2011-09-01 17:17:19 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-09-02 19:44:07 +0200
commit10e17b05021f05ab40c71368c9a44a7818f3c0ae (patch)
tree1ac91b30d0e27d4a165a8f9567e7dba7588c2719 /linux
parentfe26ae2e9cb01a7507c7a929cc5555c7f6c1edfd (diff)
Add missing headers
* linux/dev/init/main.c: Include <linux/pci.h>. * linux/dev/kernel/printk.c: Include <kern/printf.h>.
Diffstat (limited to 'linux')
-rw-r--r--linux/dev/init/main.c1
-rw-r--r--linux/dev/kernel/printk.c1
2 files changed, 2 insertions, 0 deletions
diff --git a/linux/dev/init/main.c b/linux/dev/init/main.c
index 3a88983..f5c4832 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 1c45b24..8bed0d2 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];