Fill out a stub version of the vtophys header file.

--HG--
extra : convert_revision : 2c10a80a2f73207539e3f98b4a3b864d431f5035

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__