217 static unsigned int vm_handle_to_idx(pkvm_handle_t handle)  in vm_handle_to_idx()  argument
219 	return handle - HANDLE_OFFSET;  in vm_handle_to_idx()
249 static struct pkvm_hyp_vm *get_vm_by_handle(pkvm_handle_t handle)  in get_vm_by_handle()  argument
251 	unsigned int idx = vm_handle_to_idx(handle);  in get_vm_by_handle()
259 struct pkvm_hyp_vcpu *pkvm_load_hyp_vcpu(pkvm_handle_t handle,  in pkvm_load_hyp_vcpu()  argument
266 	hyp_vm = get_vm_by_handle(handle);  in pkvm_load_hyp_vcpu()
376 	hyp_vm->kvm.arch.pkvm.handle = idx_to_vm_handle(idx);  in insert_vm_table_entry()
385 	return hyp_vm->kvm.arch.pkvm.handle;  in insert_vm_table_entry()
391 static void remove_vm_table_entry(pkvm_handle_t handle)  in remove_vm_table_entry()  argument
394 	vm_table[vm_handle_to_idx(handle)] = NULL;  in remove_vm_table_entry()
510 	return hyp_vm->kvm.arch.pkvm.handle;  in __pkvm_init_vm()
513 	remove_vm_table_entry(hyp_vm->kvm.arch.pkvm.handle);  in __pkvm_init_vm()
535 int __pkvm_init_vcpu(pkvm_handle_t handle, struct kvm_vcpu *host_vcpu,  in __pkvm_init_vcpu()  argument
549 	hyp_vm = get_vm_by_handle(handle);  in __pkvm_init_vcpu()
588 int __pkvm_teardown_vm(pkvm_handle_t handle)  in __pkvm_teardown_vm()  argument
598 	hyp_vm = get_vm_by_handle(handle);  in __pkvm_teardown_vm()
613 	remove_vm_table_entry(handle);  in __pkvm_teardown_vm()