91 		pgt->vabase = 0;  in free_pgt()
131 static struct pgt *alloc_pgt(vaddr_t vabase)  in alloc_pgt()  argument
155 	pgt->vabase = vabase;  in alloc_pgt()
167 	return core_is_buffer_inside(p->vabase, CORE_MMU_PGDIR_SIZE, begin,  in pgt_entry_matches()
240 		vaddr_t b = MAX(p->vabase, begin);  in pgt_clear_range()
241 		vaddr_t e = MIN(p->vabase + CORE_MMU_PGDIR_SIZE, end);  in pgt_clear_range()
247 		idx = (b - p->vabase) / SMALL_PAGE_SIZE;  in pgt_clear_range()
256 	while (p && p->vabase < va) {  in prune_before_va()
298 			if (p->vabase < va) {  in pgt_check_avail()
306 			if (p->vabase == va)  in pgt_check_avail()
317 			if (p && p->vabase < va) {  in pgt_check_avail()
323 				if (p->vabase == va)  in pgt_check_avail()
325 				assert(p->vabase > va);  in pgt_check_avail()
492 static bool match_pgt(struct pgt *pgt, vaddr_t vabase, void *ctx)  in match_pgt()  argument
494 	return pgt->ctx == ctx && pgt->vabase == vabase;  in match_pgt()
497 static struct pgt *pop_from_cache_list(vaddr_t vabase, void *ctx)  in pop_from_cache_list()  argument
505 	if (match_pgt(pgt, vabase, ctx)) {  in pop_from_cache_list()
514 		if (match_pgt(p, vabase, ctx)) {  in pop_from_cache_list()
580 			p->vabase = 0;  in pgt_free_unlocked()
590 static struct pgt *pop_from_some_list(vaddr_t vabase, void *ctx)  in pop_from_some_list()  argument
592 	struct pgt *p = pop_from_cache_list(vabase, ctx);  in pop_from_some_list()
606 	p->vabase = vabase;  in pop_from_some_list()
627 		p->vabase = 0;  in pgt_flush()
640 			p->vabase = 0;  in pgt_flush()
655 	p->vabase = 0;  in flush_pgt_entry()
667 	if (!core_is_buffer_inside(p->vabase, CORE_MMU_PGDIR_SIZE, begin,  in pgt_entry_matches()
745 		vaddr_t b = MAX(p->vabase, begin);  in clear_ctx_range_from_list()
746 		vaddr_t e = MIN(p->vabase + CORE_MMU_PGDIR_SIZE, end);  in clear_ctx_range_from_list()
754 		idx = (b - p->vabase) / SMALL_PAGE_SIZE;  in clear_ctx_range_from_list()
784 			if (p && p->vabase == va)  in pgt_alloc_unlocked()
859 struct pgt *pgt_pop_from_cache_list(vaddr_t vabase, struct ts_ctx *ctx)  in pgt_pop_from_cache_list()  argument
864 	pgt = pop_from_cache_list(vabase, ctx);  in pgt_pop_from_cache_list()