492 static bool match_pgt(struct pgt *pgt, vaddr_t vabase, void *ctx)  in match_pgt()
497 static struct pgt *pop_from_cache_list(vaddr_t vabase, void *ctx)  in pop_from_cache_list()
590 static struct pgt *pop_from_some_list(vaddr_t vabase, void *ctx)  in pop_from_some_list()
612 	struct ts_ctx *ctx = uctx->ts_ctx;  in pgt_flush()  local
658 static bool pgt_entry_matches(struct pgt *p, void *ctx, vaddr_t begin,  in pgt_entry_matches()
674 static void flush_ctx_range_from_list(struct pgt_cache *pgt_cache, void *ctx,  in flush_ctx_range_from_list()
721 	struct ts_ctx *ctx = uctx->ts_ctx;  in pgt_flush_range()  local
733 				      void *ctx, vaddr_t begin, vaddr_t end)  in clear_ctx_range_from_list()
763 	struct ts_ctx *ctx = uctx->ts_ctx;  in pgt_clear_range()  local
773 static bool pgt_alloc_unlocked(struct pgt_cache *pgt_cache, struct ts_ctx *ctx,  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()