mips1_tlbpfn_to_paddr
return (mips1_tlbpfn_to_paddr(pfn));
#define mips_tlbpfn_to_paddr(x) mips1_tlbpfn_to_paddr((vaddr_t)(x))