Lines Matching refs:uintptr_t
165 uintptr_t des_va = ALIGN2PAGE(vaddr);
166 uintptr_t va = des_va;
189 hat_kmap_init(uintptr_t base, size_t len)
191 uintptr_t map_addr; /* base rounded down to large page size */
192 uintptr_t map_eaddr; /* base + len rounded up */
199 uintptr_t va;
265 kbm_map((uintptr_t)kpm_vbase + paddr, (paddr_t)0, 0, 1);
266 kbm_read_only((uintptr_t)kpm_vbase + paddr + pg_off,
313 uintptr_t last_va = (uintptr_t)-1; /* catch 1st time */
314 uintptr_t va = 0;
352 kbm_map((uintptr_t)kpm_vbase + paddr, paddr,
391 (void) find_pte((uintptr_t)mmu.pwin_base, &paddr, 0, 0);
396 (void) find_pte((uintptr_t)mmu.pwin_pte_va, NULL, 0, 0);
397 kbm_read_only((uintptr_t)mmu.pwin_pte_va, mmu.pwin_pte_pa);
399 kbm_map((uintptr_t)mmu.pwin_pte_va, mmu.pwin_pte_pa, 0, 1);