192 static unsigned int vm_handle_to_idx(pkvm_handle_t handle)  in vm_handle_to_idx()  argument
194 	return handle - HANDLE_OFFSET;  in vm_handle_to_idx()
224 static struct pkvm_hyp_vm *get_vm_by_handle(pkvm_handle_t handle)  in get_vm_by_handle()  argument
226 	unsigned int idx = vm_handle_to_idx(handle);  in get_vm_by_handle()
234 struct pkvm_hyp_vcpu *pkvm_load_hyp_vcpu(pkvm_handle_t handle,  in pkvm_load_hyp_vcpu()  argument
241 	hyp_vm = get_vm_by_handle(handle);  in pkvm_load_hyp_vcpu()
351 	hyp_vm->kvm.arch.pkvm.handle = idx_to_vm_handle(idx);  in insert_vm_table_entry()
360 	return hyp_vm->kvm.arch.pkvm.handle;  in insert_vm_table_entry()
366 static void remove_vm_table_entry(pkvm_handle_t handle)  in remove_vm_table_entry()  argument
369 	vm_table[vm_handle_to_idx(handle)] = NULL;  in remove_vm_table_entry()
485 	return hyp_vm->kvm.arch.pkvm.handle;  in __pkvm_init_vm()
488 	remove_vm_table_entry(hyp_vm->kvm.arch.pkvm.handle);  in __pkvm_init_vm()
510 int __pkvm_init_vcpu(pkvm_handle_t handle, struct kvm_vcpu *host_vcpu,  in __pkvm_init_vcpu()  argument
524 	hyp_vm = get_vm_by_handle(handle);  in __pkvm_init_vcpu()
563 int __pkvm_teardown_vm(pkvm_handle_t handle)  in __pkvm_teardown_vm()  argument
573 	hyp_vm = get_vm_by_handle(handle);  in __pkvm_teardown_vm()
588 	remove_vm_table_entry(handle);  in __pkvm_teardown_vm()