Searched refs:hyp_pin_shared_mem (Results 1 – 4 of 4) sorted by relevance
80 int hyp_pin_shared_mem(void *from, void *to);
322 if (hyp_pin_shared_mem(host_vcpu, host_vcpu + 1)) in init_pkvm_hyp_vcpu()482 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()
1222 int hyp_pin_shared_mem(void *from, void *to) in hyp_pin_shared_mem() function