Fill out a stub version of the vtophys header file.

--HG--
extra : convert_revision : 2c10a80a2f73207539e3f98b4a3b864d431f5035

diff --git a/src/arch/x86/vtophys.hh b/src/arch/x86/vtophys.hh
index cafe32711f64d27008c77f29ec9ca7ecbf66386d..00d0f9499a5edbcb32c68de4d6ec3c5337c10985 100644 (file)
--- 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__