hyp_pool
void *hyp_alloc_pages(struct hyp_pool *pool, u8 order);
void hyp_get_page(struct hyp_pool *pool, void *addr);
void hyp_put_page(struct hyp_pool *pool, void *addr);
int hyp_pool_init(struct hyp_pool *pool, u64 pfn, unsigned int nr_pages,
struct hyp_pool pool;
static struct hyp_pool host_s2_pool;
static struct hyp_page *__hyp_extract_page(struct hyp_pool *pool,
static void __hyp_put_page(struct hyp_pool *pool, struct hyp_page *p)
void hyp_put_page(struct hyp_pool *pool, void *addr)
void hyp_get_page(struct hyp_pool *pool, void *addr)
void *hyp_alloc_pages(struct hyp_pool *pool, u8 order)
int hyp_pool_init(struct hyp_pool *pool, u64 pfn, unsigned int nr_pages,
static struct hyp_page *__find_buddy_nocheck(struct hyp_pool *pool,
static struct hyp_page *__find_buddy_avail(struct hyp_pool *pool,
static void __hyp_attach_page(struct hyp_pool *pool,
static struct hyp_pool hpool;