hyp_pin_shared_mem
int hyp_pin_shared_mem(void *from, void *to);
ret = hyp_pin_shared_mem(tx_virt, tx_virt + 1);
ret = hyp_pin_shared_mem(rx_virt, rx_virt + 1);
assert_transition_res(-EPERM, hyp_pin_shared_mem, virt, virt + size);
assert_transition_res(-EPERM, hyp_pin_shared_mem, virt, virt + size);
assert_transition_res(0, hyp_pin_shared_mem, virt, virt + size);
assert_transition_res(0, hyp_pin_shared_mem, virt, virt + size);
assert_transition_res(-EPERM, hyp_pin_shared_mem, virt, virt + size);
assert_transition_res(-EPERM, hyp_pin_shared_mem, virt, virt + size);
ret = hyp_pin_shared_mem(sve_state, sve_state + sve_state_size);
if (hyp_pin_shared_mem(host_vcpu, host_vcpu + 1))
ret = hyp_pin_shared_mem(host_kvm, host_kvm + 1);