__pkvm_host_donate_hyp
int __pkvm_host_donate_hyp(u64 pfn, u64 nr_pages);
assert_transition_res(-EPERM, __pkvm_host_donate_hyp, pfn, 1);
assert_transition_res(-EPERM, __pkvm_host_donate_hyp, pfn, 1);
assert_transition_res(-EPERM, __pkvm_host_donate_hyp, pfn, 1);
assert_transition_res(-EPERM, __pkvm_host_donate_hyp, pfn, 1);
assert_transition_res(-EPERM, __pkvm_host_donate_hyp, pfn, 1);
assert_transition_res(0, __pkvm_host_donate_hyp, pfn, 1);
if (__pkvm_host_donate_hyp(hyp_phys_to_pfn(host_mc->head), 1))
if (__pkvm_host_donate_hyp(hyp_virt_to_pfn(va),