From 11ec632a5b0bc162a6196bca15c7bceab8c812c2 Mon Sep 17 00:00:00 2001
From: Ingo Molnar <mingo@elte.hu>
Date: Mon, 9 Feb 2009 11:32:17 +0100
Subject: [PATCH] --- yaml --- r: 136819 b: refs/heads/master c:
 726c0d95b6bd06cb83efd36a76ccf03fa9a770f0 h: refs/heads/master i:   136817:
 28316a56e688b469ef6cf3323c7bf1a67c21a8f3   136815:
 00629ed51fbc9effdeeb531a481a795d65e100c2 v: v3

---
 [refs]                               | 2 +-
 trunk/arch/x86/kernel/early_printk.c | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index 26dc6b937b6c..5ded37e1b0c6 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 790c7ebbe9dc3ec428a5e982af492a14dd1b565f
+refs/heads/master: 726c0d95b6bd06cb83efd36a76ccf03fa9a770f0
diff --git a/trunk/arch/x86/kernel/early_printk.c b/trunk/arch/x86/kernel/early_printk.c
index 6a36dd228b69..639ad98238a2 100644
--- a/trunk/arch/x86/kernel/early_printk.c
+++ b/trunk/arch/x86/kernel/early_printk.c
@@ -14,6 +14,7 @@
 #include <xen/hvc-console.h>
 #include <asm/pci-direct.h>
 #include <asm/fixmap.h>
+#include <asm/pgtable.h>
 #include <linux/usb/ehci_def.h>
 
 /* Simple VGA output */