Lines Matching refs:__pure
127 mips_pg_wired_bit(void) __pure,
128 mips_pg_m_bit(void) __pure,
129 mips_pg_ro_bit(void) __pure,
130 mips_pg_rw_bit(void) __pure,
131 mips_pg_ropage_bit(void) __pure,
132 mips_pg_cwpage_bit(void) __pure,
133 mips_pg_rwpage_bit(void) __pure,
134 mips_pg_global_bit(void) __pure;
135 static __inline paddr_t pte_to_paddr(pt_entry_t pte) __pure;
136 static __inline bool PAGE_IS_RDONLY(uint32_t pte, vaddr_t va) __pure;
138 static __inline paddr_t mips_tlbpfn_to_paddr(uint32_t pfn) __pure;
139 static __inline uint32_t mips_paddr_to_tlbpfn(paddr_t pa) __pure;