Searched refs:vtopte (Results 1 – 13 of 13) sorted by relevance
1049 pt_entry_t *ptep = vtopte(va); in ofw_callbackhandler()1050 KASSERT(ptep + size / L2_S_SIZE == vtopte(va + size)); in ofw_callbackhandler()1060 PTE_SYNC_RANGE(vtopte(va), size >> L2_S_SHIFT); in ofw_callbackhandler()1097 pt_entry_t *ptep = vtopte(va); in ofw_callbackhandler()1104 PTE_SYNC_RANGE(vtopte(va), size >> L2_S_SHIFT); in ofw_callbackhandler()1139 pte = *vtopte(va); in ofw_callbackhandler()
197 pte = vtopte(va); in s3c2xx0_bs_map()
174 pte = vtopte(va); in pmap_kenter_ma()
92 pte = vtopte(va); in kgdb_acc()
1028 pte = vtopte(va); in pmap_kenter_pa()1078 pte = vtopte(va); in pmap_changeprot_local()
318 vtopte(vaddr_t va) in vtopte() function
746 pt_entry_t * const ptep = vtopte(ixp12x0_cc_base + loop); in ixdp_ixp12x0_cc_setup()
1097 pt_entry_t * const ptep = vtopte(sa110_cc_base + loop); in rpc_sa110_cc_setup()
556 pt_entry_t * const ptep = vtopte(va); in pxa2x0_lcd_new_screen()
447 vtopte(vaddr_t va) in vtopte() function
250 pt_entry_t * const ptep = vtopte((vaddr_t) dev->sc_bump_va); in escinitialize()
252 pt_entry_t * const ptep = vtopte((vaddr_t) dev->sc_bump_va); in sfasinitialize()
1084 vaddr = (vaddr_t)vtopte(0); in init386_pte0()