mips_tlbpfn_to_paddr
printf("0=0x%08x ", mips_tlbpfn_to_paddr(tlb.tlb_lo0));
printf("1=0x%08x ", mips_tlbpfn_to_paddr(tlb.tlb_lo1));
static __inline paddr_t mips_tlbpfn_to_paddr(uint32_t pfn) __pure;
(uint64_t)mips_tlbpfn_to_paddr(tlb.tlb_lo0),
(uint64_t)mips_tlbpfn_to_paddr(tlb.tlb_lo1),