LookupAddr
uint64 pa0 = LookupAddr(va0);
uint64 pa0 = LookupAddr(va0);
pa0 = LookupAddr(va0);
uint64 pa0 = LookupAddr(va0);
pa0 = LookupAddr(va0);
phys_addr_t LookupAddr(addr_t virtAdr);