24 struct pgt {  struct
38 	SLIST_ENTRY(pgt) link;  argument
41 SLIST_HEAD(pgt_cache, pgt);
74 static inline struct pgt *pgt_pop_from_cache_list(vaddr_t vabase __unused,  in pgt_pop_from_cache_list()
77 static inline void pgt_push_to_cache_list(struct pgt *pgt __unused) { }  in pgt_push_to_cache_list()
79 struct pgt *pgt_pop_from_cache_list(vaddr_t vabase, struct ts_ctx *ctx);
80 void pgt_push_to_cache_list(struct pgt *pgt);
92 static inline void pgt_inc_used_entries(struct pgt *pgt)  in pgt_inc_used_entries()  argument
94 	pgt->num_used_entries++;  in pgt_inc_used_entries()
95 	assert(pgt->num_used_entries);  in pgt_inc_used_entries()
98 static inline void pgt_dec_used_entries(struct pgt *pgt)  in pgt_dec_used_entries()  argument
100 	assert(pgt->num_used_entries);  in pgt_dec_used_entries()
101 	pgt->num_used_entries--;  in pgt_dec_used_entries()
104 static inline void pgt_set_used_entries(struct pgt *pgt, size_t val)  in pgt_set_used_entries()  argument
106 	pgt->num_used_entries = val;  in pgt_set_used_entries()
110 static inline void pgt_inc_used_entries(struct pgt *pgt __unused)  in pgt_inc_used_entries()
114 static inline void pgt_dec_used_entries(struct pgt *pgt __unused)  in pgt_dec_used_entries()
118 static inline void pgt_set_used_entries(struct pgt *pgt __unused,  in pgt_set_used_entries()