Searched refs:pte1p (Results 1 – 1 of 1) sorted by relevance
119 pte1_sync(pt1_entry_t *pte1p) in pte1_sync() argument125 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() argument136 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() argument145 *pte1p = pte1; in pte1_store()146 pte1_sync(pte1p); in pte1_store()150 pte1_clear(pt1_entry_t *pte1p) in pte1_clear() argument153 pte1_store(pte1p, 0); in pte1_clear()157 pte1_clear_bit(pt1_entry_t *pte1p, uint32_t bit) in pte1_clear_bit() argument[all …]