292 static void unpin_host_vcpu(struct kvm_vcpu *host_vcpu)  in unpin_host_vcpu()  argument
294 	if (host_vcpu)  in unpin_host_vcpu()
295 		hyp_unpin_shared_mem(host_vcpu, host_vcpu + 1);  in unpin_host_vcpu()
304 		unpin_host_vcpu(hyp_vcpus[i]->host_vcpu);  in unpin_host_vcpus()
317 			      struct kvm_vcpu *host_vcpu,  in init_pkvm_hyp_vcpu()  argument
322 	if (hyp_pin_shared_mem(host_vcpu, host_vcpu + 1))  in init_pkvm_hyp_vcpu()
325 	if (host_vcpu->vcpu_idx != vcpu_idx) {  in init_pkvm_hyp_vcpu()
330 	hyp_vcpu->host_vcpu = host_vcpu;  in init_pkvm_hyp_vcpu()
333 	hyp_vcpu->vcpu.vcpu_id = READ_ONCE(host_vcpu->vcpu_id);  in init_pkvm_hyp_vcpu()
337 	hyp_vcpu->vcpu.arch.cflags = READ_ONCE(host_vcpu->arch.cflags);  in init_pkvm_hyp_vcpu()
340 		unpin_host_vcpu(host_vcpu);  in init_pkvm_hyp_vcpu()
542 int __pkvm_init_vcpu(pkvm_handle_t handle, struct kvm_vcpu *host_vcpu,  in __pkvm_init_vcpu()  argument
568 	ret = init_pkvm_hyp_vcpu(hyp_vcpu, hyp_vm, host_vcpu, idx);  in __pkvm_init_vcpu()