61c61,63
< #error X86 is not yet supported!
---
> #include "arch/x86/isa_traits.hh"
> #include "arch/x86/pagetable.hh"
> #include "sim/host.hh"
62a65,67
> class ThreadContext;
> class FunctionalPort;
>
64a70,76
>
> PageTableEntry
> kernel_pte_lookup(FunctionalPort *mem, Addr ptbr, X86ISA::VAddr vaddr);
>
> Addr vtophys(Addr vaddr);
> Addr vtophys(ThreadContext *tc, Addr vaddr);
>