Searched refs:hyp_pin_shared_mem (Results 1 – 3 of 3) sorted by relevance
57 int hyp_pin_shared_mem(void *from, void *to);
394 if (hyp_pin_shared_mem(host_vcpu, host_vcpu + 1)) in init_pkvm_hyp_vcpu()564 ret = hyp_pin_shared_mem(host_kvm, host_kvm + 1); in __pkvm_init_vm()
237 ret = hyp_pin_shared_mem(tx_virt, tx_virt + 1); in do_ffa_rxtx_map()244 ret = hyp_pin_shared_mem(rx_virt, rx_virt + 1); in do_ffa_rxtx_map()