Symbol: __hyp_put_page
arch/arm64/kvm/hyp/nvhe/page_alloc.c
171
__hyp_put_page(pool, p);
arch/arm64/kvm/hyp/nvhe/page_alloc.c
245
__hyp_put_page(pool, &p[i]);