27 	struct hyp_pool *pool = hyp_page_to_pool(p);  in hyp_page_ref_inc()  local
29 	hyp_spin_lock(&pool->lock);  in hyp_page_ref_inc()
31 	hyp_spin_unlock(&pool->lock);  in hyp_page_ref_inc()
36 	struct hyp_pool *pool = hyp_page_to_pool(p);  in hyp_page_ref_dec_and_test()  local
39 	hyp_spin_lock(&pool->lock);  in hyp_page_ref_dec_and_test()
42 	hyp_spin_unlock(&pool->lock);  in hyp_page_ref_dec_and_test()
49 	struct hyp_pool *pool = hyp_page_to_pool(p);  in hyp_set_page_refcounted()  local
51 	hyp_spin_lock(&pool->lock);  in hyp_set_page_refcounted()
53 		hyp_spin_unlock(&pool->lock);  in hyp_set_page_refcounted()
57 	hyp_spin_unlock(&pool->lock);  in hyp_set_page_refcounted()
61 void *hyp_alloc_pages(struct hyp_pool *pool, unsigned int order);
67 int hyp_pool_init(struct hyp_pool *pool, u64 pfn, unsigned int nr_pages,