Home | History | Annotate | Download | only in arm32

Lines Matching defs:ptep

450 	pt_entry_t *ptep;
454 	if (pmap_get_pde_pte(pmap_kernel(), va, &pdep, &ptep) == false)
456 	return (ptep);
517 pmap_ptesync(pt_entry_t *ptep, size_t cnt)
520 		cpu_dcache_wb_range((vaddr_t)ptep, cnt * sizeof(pt_entry_t));
522 		cpu_sdcache_wb_range((vaddr_t)ptep, -1,
531 #define	PTE_SYNC(ptep)			pmap_ptesync((ptep), PAGE_SIZE / L2_S_SIZE)
532 #define	PTE_SYNC_RANGE(ptep, cnt)	pmap_ptesync((ptep), (cnt))
576 l2pte_set(pt_entry_t *ptep, pt_entry_t pte, pt_entry_t opte)
579 		KASSERTMSG((((uintptr_t)ptep / sizeof(pte)) & (L2_L_SIZE / L2_S_SIZE - 1)) == 0, "%p", ptep);
581 			*ptep++ = pte;
584 		KASSERTMSG((((uintptr_t)ptep / sizeof(pte)) & (PAGE_SIZE / L2_S_SIZE - 1)) == 0, "%p", ptep);
586 			KASSERTMSG(*ptep == opte, "%#x [*%p] != %#x", *ptep, ptep, opte);
587 			*ptep++ = pte;
596 l2pte_reset(pt_entry_t *ptep)
598 	KASSERTMSG((((uintptr_t)ptep / sizeof(*ptep)) & (PAGE_SIZE / L2_S_SIZE - 1)) == 0, "%p", ptep);
599 	*ptep = 0;
601 		ptep[k] = 0;