216 static int shadow_handle_to_index(int shadow_handle)  in shadow_handle_to_index()  argument
218 	return shadow_handle - HANDLE_OFFSET;  in shadow_handle_to_index()
261 static struct kvm_shadow_vm *find_shadow_by_handle(int shadow_handle)  in find_shadow_by_handle()  argument
263 	int shadow_index = shadow_handle_to_index(shadow_handle);  in find_shadow_by_handle()
271 struct kvm_vcpu *get_shadow_vcpu(int shadow_handle, unsigned int vcpu_idx)  in get_shadow_vcpu()  argument
278 	vm = find_shadow_by_handle(shadow_handle);  in get_shadow_vcpu()
532 	int shadow_handle;  in insert_shadow_table()  local
554 	shadow_handle = index_to_shadow_handle(next_shadow_alloc);  in insert_shadow_table()
556 	vm->shadow_handle = shadow_handle;  in insert_shadow_table()
573 	return shadow_handle;  in insert_shadow_table()
579 static void remove_shadow_table(int shadow_handle)  in remove_shadow_table()  argument
582 	shadow_table[shadow_handle_to_index(shadow_handle)] = NULL;  in remove_shadow_table()
708 	return vm->shadow_handle;  in __pkvm_init_shadow()
711 	remove_shadow_table(vm->shadow_handle);  in __pkvm_init_shadow()
736 int __pkvm_init_shadow_vcpu(unsigned int shadow_handle,  in __pkvm_init_shadow_vcpu()  argument
759 	vm = find_shadow_by_handle(shadow_handle);  in __pkvm_init_shadow_vcpu()
805 int __pkvm_teardown_shadow(int shadow_handle)  in __pkvm_teardown_shadow()  argument
816 	vm = find_shadow_by_handle(shadow_handle);  in __pkvm_teardown_shadow()
845 	remove_shadow_table(shadow_handle);  in __pkvm_teardown_shadow()