Searched refs:hyp_put_page (Results 1 – 2 of 2) sorted by relevance
29 void hyp_put_page(struct hyp_pool *pool, void *addr);
68 * allocator always returns zeroed pages (which are zeroed on the hyp_put_page()162 * hyp_put_page()), both operations must be done within the same critical166 void hyp_put_page(struct hyp_pool *pool, void *addr) in hyp_put_page() function