33 static struct hyp_page *__find_buddy_nocheck(struct hyp_pool *pool,  in __find_buddy_nocheck()
34 					     struct hyp_page *p,  in __find_buddy_nocheck()
52 static struct hyp_page *__find_buddy_avail(struct hyp_pool *pool,  in __find_buddy_avail()
53 					   struct hyp_page *p,  in __find_buddy_avail()
56 	struct hyp_page *buddy = __find_buddy_nocheck(pool, p, order);  in __find_buddy_avail()
72 static inline void page_remove_from_list(struct hyp_page *p)  in page_remove_from_list()
80 static inline void page_add_to_list(struct hyp_page *p, struct list_head *head)  in page_add_to_list()
88 static inline struct hyp_page *node_to_page(struct list_head *node)  in node_to_page()
94 			      struct hyp_page *p)  in __hyp_attach_page()
97 	struct hyp_page *buddy;  in __hyp_attach_page()
129 static struct hyp_page *__hyp_extract_page(struct hyp_pool *pool,  in __hyp_extract_page()
130 					   struct hyp_page *p,  in __hyp_extract_page()
133 	struct hyp_page *buddy;  in __hyp_extract_page()
152 static void __hyp_put_page(struct hyp_pool *pool, struct hyp_page *p)  in __hyp_put_page()
167 	struct hyp_page *p = hyp_virt_to_page(addr);  in hyp_put_page()
176 	struct hyp_page *p = hyp_virt_to_page(addr);  in hyp_get_page()
183 void hyp_split_page(struct hyp_page *p)  in hyp_split_page()
190 		struct hyp_page *tail = p + i;  in hyp_split_page()
199 	struct hyp_page *p;  in hyp_alloc_pages()
226 	struct hyp_page *p;  in hyp_pool_init()