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