968a969,971
>
> Fault testWalk(Addr pa, Addr size, TlbEntry::DomainType domain,
> LookupLevel lookup_level);