74 extern pt1_entry_t *kern_pt1;
89 static __inline pt1_entry_t *
90 pte1_ptr(pt1_entry_t *pt1, vm_offset_t va)  in pte1_ptr()
119 pte1_sync(pt1_entry_t *pte1p)  in pte1_sync()
130 pte1_sync_range(pt1_entry_t *pte1p, vm_size_t size)  in pte1_sync_range()
141 pte1_store(pt1_entry_t *pte1p, pt1_entry_t pte1)  in pte1_store()
150 pte1_clear(pt1_entry_t *pte1p)  in pte1_clear()
157 pte1_clear_bit(pt1_entry_t *pte1p, uint32_t bit)  in pte1_clear_bit()
165 pte1_is_link(pt1_entry_t pte1)  in pte1_is_link()
172 pte1_is_section(pt1_entry_t pte1)  in pte1_is_section()
179 pte1_is_dirty(pt1_entry_t pte1)  in pte1_is_dirty()
186 pte1_is_global(pt1_entry_t pte1)  in pte1_is_global()
193 pte1_is_valid(pt1_entry_t pte1)  in pte1_is_valid()
202 pte1_is_wired(pt1_entry_t pte1)  in pte1_is_wired()
208 static __inline pt1_entry_t
209 pte1_load(pt1_entry_t *pte1p)  in pte1_load()
211 	pt1_entry_t pte1;  in pte1_load()
217 static __inline pt1_entry_t
218 pte1_load_clear(pt1_entry_t *pte1p)  in pte1_load_clear()
220 	pt1_entry_t opte1;  in pte1_load_clear()
229 pte1_set_bit(pt1_entry_t *pte1p, uint32_t bit)  in pte1_set_bit()
237 pte1_pa(pt1_entry_t pte1)  in pte1_pa()
244 pte1_link_pa(pt1_entry_t pte1)  in pte1_link_pa()
445 static __inline pt1_entry_t *
452 static __inline pt1_entry_t *