__pkvm_hyp_donate_host
int __pkvm_hyp_donate_host(u64 pfn, u64 nr_pages);
assert_transition_res(0, __pkvm_hyp_donate_host, pfn, 1);
assert_transition_res(-EPERM, __pkvm_hyp_donate_host, pfn, 1);
assert_transition_res(-EPERM, __pkvm_hyp_donate_host, pfn, 1);
assert_transition_res(-EPERM, __pkvm_hyp_donate_host, pfn, 1);
assert_transition_res(-EPERM, __pkvm_hyp_donate_host, pfn, 1);
assert_transition_res(-EPERM, __pkvm_hyp_donate_host, pfn, 1);
WARN_ON(__pkvm_hyp_donate_host(hyp_virt_to_pfn(addr), 1));
WARN_ON(__pkvm_hyp_donate_host(hyp_virt_to_pfn(va),