579 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_gmap_notifier()
580 		page = READ_ONCE(kvm->arch.vsie.pages[i]);  in kvm_s390_vsie_gmap_notifier()
1223 	page = radix_tree_lookup(&kvm->arch.vsie.addr_to_page, addr >> 9);  in get_vsie_page()
1237 	mutex_lock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1238 	if (kvm->arch.vsie.page_count < nr_vcpus) {  in get_vsie_page()
1241 			mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1245 		kvm->arch.vsie.pages[kvm->arch.vsie.page_count] = page;  in get_vsie_page()
1246 		kvm->arch.vsie.page_count++;  in get_vsie_page()
1250 			page = kvm->arch.vsie.pages[kvm->arch.vsie.next];  in get_vsie_page()
1254 			kvm->arch.vsie.next++;  in get_vsie_page()
1255 			kvm->arch.vsie.next %= nr_vcpus;  in get_vsie_page()
1257 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in get_vsie_page()
1261 	if (radix_tree_insert(&kvm->arch.vsie.addr_to_page, addr >> 9, page)) {  in get_vsie_page()
1263 		mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1266 	mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1340 	mutex_init(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_init()
1341 	INIT_RADIX_TREE(&kvm->arch.vsie.addr_to_page, GFP_KERNEL);  in kvm_s390_vsie_init()
1351 	mutex_lock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()
1352 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_destroy()
1353 		page = kvm->arch.vsie.pages[i];  in kvm_s390_vsie_destroy()
1354 		kvm->arch.vsie.pages[i] = NULL;  in kvm_s390_vsie_destroy()
1358 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in kvm_s390_vsie_destroy()
1361 	kvm->arch.vsie.page_count = 0;  in kvm_s390_vsie_destroy()
1362 	mutex_unlock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()