Searched refs:hyp_put_page (Results 1 – 4 of 4) sorted by relevance
29 void hyp_put_page(struct hyp_pool *pool, void *addr);
179 void hyp_put_page(struct hyp_pool *pool, void *addr) in hyp_put_page() function
186 hyp_put_page(&hpool, addr); in hpool_put_page()
79 hyp_put_page(&host_s2_pool, addr); in host_s2_put_page()