35a36,37
> #include "arch/alpha/pagetable.hh"
> #include "arch/alpha/utility.hh"
42,43c44,45
< PageTableEntry
< kernel_pte_lookup(FunctionalPort *mem, Addr ptbr, AlphaISA::VAddr vaddr);
---
> PageTableEntry
> kernel_pte_lookup(FunctionalPort *mem, Addr ptbr, AlphaISA::VAddr vaddr);
45,46c47,48
< Addr vtophys(Addr vaddr);
< Addr vtophys(ThreadContext *tc, Addr vaddr);
---
> Addr vtophys(Addr vaddr);
> Addr vtophys(ThreadContext *tc, Addr vaddr);
48,51c50,53
< void CopyOut(ThreadContext *tc, void *dst, Addr src, size_t len);
< void CopyIn(ThreadContext *tc, Addr dst, void *src, size_t len);
< void CopyStringOut(ThreadContext *tc, char *dst, Addr vaddr, size_t maxlen);
< void CopyStringIn(ThreadContext *tc, char *src, Addr vaddr);
---
> void CopyOut(ThreadContext *tc, void *dst, Addr src, size_t len);
> void CopyIn(ThreadContext *tc, Addr dst, void *src, size_t len);
> void CopyStringOut(ThreadContext *tc, char *dst, Addr vaddr, size_t maxlen);
> void CopyStringIn(ThreadContext *tc, char *src, Addr vaddr);