45c45
< kernel_pte_lookup(FunctionalPort *mem, Addr ptbr, AlphaISA::VAddr vaddr);
---
> kernel_pte_lookup(FunctionalPort *mem, Addr ptbr, VAddr vaddr);