119 pte1_sync(pt1_entry_t *pte1p)  in pte1_sync()  argument
125 		dcache_wb_pou((vm_offset_t)pte1p, sizeof(*pte1p));  in pte1_sync()
130 pte1_sync_range(pt1_entry_t *pte1p, vm_size_t size)  in pte1_sync_range()  argument
136 		dcache_wb_pou((vm_offset_t)pte1p, size);  in pte1_sync_range()
141 pte1_store(pt1_entry_t *pte1p, pt1_entry_t pte1)  in pte1_store()  argument
145 	*pte1p = pte1;  in pte1_store()
146 	pte1_sync(pte1p);  in pte1_store()
150 pte1_clear(pt1_entry_t *pte1p)  in pte1_clear()  argument
153 	pte1_store(pte1p, 0);  in pte1_clear()
157 pte1_clear_bit(pt1_entry_t *pte1p, uint32_t bit)  in pte1_clear_bit()  argument
160 	*pte1p &= ~bit;  in pte1_clear_bit()
161 	pte1_sync(pte1p);  in pte1_clear_bit()
209 pte1_load(pt1_entry_t *pte1p)  in pte1_load()  argument
213 	pte1 = *pte1p;  in pte1_load()
218 pte1_load_clear(pt1_entry_t *pte1p)  in pte1_load_clear()  argument
222 	opte1 = *pte1p;  in pte1_load_clear()
223 	*pte1p = 0;  in pte1_load_clear()
224 	pte1_sync(pte1p);  in pte1_load_clear()
229 pte1_set_bit(pt1_entry_t *pte1p, uint32_t bit)  in pte1_set_bit()  argument
232 	*pte1p |= bit;  in pte1_set_bit()
233 	pte1_sync(pte1p);  in pte1_set_bit()