hyp_put_page
void hyp_put_page(struct hyp_pool *pool, void *addr);
hyp_put_page(&selftest_vm.pool, hyp_page_to_virt(&p[i]));
hyp_put_page(&host_s2_pool, virt);
hyp_put_page(¤t_vm->pool, addr + (i * PAGE_SIZE));
hyp_put_page(¤t_vm->pool, addr);
hyp_put_page(&host_s2_pool, addr);
hyp_put_page(&hpool, addr);