161 static bool pgt_entry_matches(struct pgt *p, vaddr_t begin, vaddr_t last)  in pgt_entry_matches()  argument
165 	if (last <= begin)  in pgt_entry_matches()
167 	return core_is_buffer_inside(p->vabase, CORE_MMU_PGDIR_SIZE, begin,  in pgt_entry_matches()
168 				     last - begin);  in pgt_entry_matches()
171 void pgt_flush_range(struct user_mode_ctx *uctx, vaddr_t begin, vaddr_t last)  in pgt_flush_range()  argument
182 	while (pgt_entry_matches(p, begin, last)) {  in pgt_flush_range()
203 		if (pgt_entry_matches(next_p, begin, last)) {  in pgt_flush_range()
227 void pgt_clear_range(struct user_mode_ctx *uctx, vaddr_t begin, vaddr_t end)  in pgt_clear_range()  argument
240 		vaddr_t b = MAX(p->vabase, begin);  in pgt_clear_range()
658 static bool pgt_entry_matches(struct pgt *p, void *ctx, vaddr_t begin,  in pgt_entry_matches()  argument
665 	if (last <= begin)  in pgt_entry_matches()
667 	if (!core_is_buffer_inside(p->vabase, CORE_MMU_PGDIR_SIZE, begin,  in pgt_entry_matches()
668 				   last - begin))  in pgt_entry_matches()
675 				      vaddr_t begin, vaddr_t last)  in flush_ctx_range_from_list()  argument
685 	while (pgt_entry_matches(p, ctx, begin, last)) {  in flush_ctx_range_from_list()
707 		if (pgt_entry_matches(next_p, ctx, begin, last)) {  in flush_ctx_range_from_list()
718 void pgt_flush_range(struct user_mode_ctx *uctx, vaddr_t begin, vaddr_t last)  in pgt_flush_range()  argument
725 	flush_ctx_range_from_list(pgt_cache, ctx, begin, last);  in pgt_flush_range()
726 	flush_ctx_range_from_list(&pgt_cache_list, ctx, begin, last);  in pgt_flush_range()
733 				      void *ctx, vaddr_t begin, vaddr_t end)  in clear_ctx_range_from_list()  argument
745 		vaddr_t b = MAX(p->vabase, begin);  in clear_ctx_range_from_list()
760 void pgt_clear_range(struct user_mode_ctx *uctx, vaddr_t begin, vaddr_t end)  in pgt_clear_range()  argument
767 	clear_ctx_range_from_list(pgt_cache, ctx, begin, end);  in pgt_clear_range()
768 	clear_ctx_range_from_list(&pgt_cache_list, ctx, begin, end);  in pgt_clear_range()