Symbol: MIPS3_PTE_TO_PADDR
sys/arch/mips/include/pte.h
111
#define pte_to_paddr(pte) MIPS3_PTE_TO_PADDR((pte))
sys/arch/mips/include/pte.h
227
return (MIPS3_PTE_TO_PADDR(pte));