diff options
| author | Guillem Jover <guillem@hadrons.org> | 2011-09-01 17:17:19 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-09-02 19:44:07 +0200 |
| commit | 10e17b05021f05ab40c71368c9a44a7818f3c0ae (patch) | |
| tree | 1ac91b30d0e27d4a165a8f9567e7dba7588c2719 /linux/dev/kernel/printk.c | |
| parent | fe26ae2e9cb01a7507c7a929cc5555c7f6c1edfd (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/dev/kernel/printk.c')
| -rw-r--r-- | linux/dev/kernel/printk.c | 1 |
1 files changed, 1 insertions, 0 deletions
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]; |