44,45c44,45
< PageTableEntry
< kernel_pte_lookup(FunctionalPort *mem, Addr ptbr, VAddr vaddr);
---
> PageTableEntry kernel_pte_lookup(FunctionalPort *mem, Addr ptbr,
> VAddr vaddr);
47,48c47,48
< Addr vtophys(Addr vaddr);
< Addr vtophys(ThreadContext *tc, Addr vaddr);
---
> Addr vtophys(Addr vaddr);
> Addr vtophys(ThreadContext *tc, Addr vaddr);
50c50,51
< };
---
> } // namespace AlphaISA
>