From 992fda55f91c652b1ced0ac50de9b6d647f1345f Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Mon, 5 Mar 2007 17:59:04 +0000
Subject: [PATCH] Fill out a stub version of the vtophys header file.

--HG--
extra : convert_revision : 2c10a80a2f73207539e3f98b4a3b864d431f5035
---
 src/arch/x86/vtophys.hh | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/arch/x86/vtophys.hh b/src/arch/x86/vtophys.hh
index cafe32711..00d0f9499 100644
--- a/src/arch/x86/vtophys.hh
+++ b/src/arch/x86/vtophys.hh
@@ -58,10 +58,22 @@
 #ifndef __ARCH_X86_VTOPHYS_HH__
 #define __ARCH_X86_VTOPHYS_HH__
 
-#error X86 is not yet supported!
+#include "arch/x86/isa_traits.hh"
+#include "arch/x86/pagetable.hh"
+#include "sim/host.hh"
+
+class ThreadContext;
+class FunctionalPort;
 
 namespace X86ISA
 {
+
+PageTableEntry
+kernel_pte_lookup(FunctionalPort *mem, Addr ptbr, X86ISA::VAddr vaddr);
+
+Addr vtophys(Addr vaddr);
+Addr vtophys(ThreadContext *tc, Addr vaddr);
+
 };
 
 #endif // __ARCH_X86_VTOPHYS_HH__