Symbol: MIPS1_PTE_TO_PADDR
sys/arch/mips/include/pte.h
228
return (MIPS1_PTE_TO_PADDR(pte));
sys/arch/mips/include/pte.h
87
#define pte_to_paddr(pte) MIPS1_PTE_TO_PADDR((pte))