Searched refs:hyp_pin_shared_mem (Results 1 – 4 of 4) sorted by relevance
80 int hyp_pin_shared_mem(void *from, void *to);
316 if (hyp_pin_shared_mem(host_vcpu, host_vcpu + 1)) in init_pkvm_hyp_vcpu()475 ret = hyp_pin_shared_mem(host_kvm, host_kvm + 1); in __pkvm_init_vm()
226 ret = hyp_pin_shared_mem(tx_virt, tx_virt + 1); in do_ffa_rxtx_map()233 ret = hyp_pin_shared_mem(rx_virt, rx_virt + 1); in do_ffa_rxtx_map()
1216 int hyp_pin_shared_mem(void *from, void *to) in hyp_pin_shared_mem() function