__pkvm_host_share_hyp
int __pkvm_host_share_hyp(u64 pfn);
ret = __pkvm_host_share_hyp(hyp_phys_to_pfn(tx));
ret = __pkvm_host_share_hyp(hyp_phys_to_pfn(rx));
cpu_reg(host_ctxt, 1) = __pkvm_host_share_hyp(pfn);
HANDLE_FUNC(__pkvm_host_share_hyp),
assert_transition_res(-EPERM, __pkvm_host_share_hyp, pfn);
assert_transition_res(0, __pkvm_host_share_hyp, pfn);
assert_transition_res(-EPERM, __pkvm_host_share_hyp, pfn);
assert_transition_res(-EPERM, __pkvm_host_share_hyp, pfn);
assert_transition_res(-EPERM, __pkvm_host_share_hyp, pfn);
assert_transition_res(-EPERM, __pkvm_host_share_hyp, pfn);
ret = kvm_call_hyp_nvhe(__pkvm_host_share_hyp, pfn);