580 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_gmap_notifier()
581 		page = READ_ONCE(kvm->arch.vsie.pages[i]);  in kvm_s390_vsie_gmap_notifier()
1221 	page = radix_tree_lookup(&kvm->arch.vsie.addr_to_page, addr >> 9);  in get_vsie_page()
1235 	mutex_lock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1236 	if (kvm->arch.vsie.page_count < nr_vcpus) {  in get_vsie_page()
1239 			mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1243 		kvm->arch.vsie.pages[kvm->arch.vsie.page_count] = page;  in get_vsie_page()
1244 		kvm->arch.vsie.page_count++;  in get_vsie_page()
1248 			page = kvm->arch.vsie.pages[kvm->arch.vsie.next];  in get_vsie_page()
1252 			kvm->arch.vsie.next++;  in get_vsie_page()
1253 			kvm->arch.vsie.next %= nr_vcpus;  in get_vsie_page()
1255 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in get_vsie_page()
1259 	if (radix_tree_insert(&kvm->arch.vsie.addr_to_page, addr >> 9, page)) {  in get_vsie_page()
1261 		mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1264 	mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1338 	mutex_init(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_init()
1339 	INIT_RADIX_TREE(&kvm->arch.vsie.addr_to_page, GFP_KERNEL);  in kvm_s390_vsie_init()
1349 	mutex_lock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()
1350 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_destroy()
1351 		page = kvm->arch.vsie.pages[i];  in kvm_s390_vsie_destroy()
1352 		kvm->arch.vsie.pages[i] = NULL;  in kvm_s390_vsie_destroy()
1356 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in kvm_s390_vsie_destroy()
1359 	kvm->arch.vsie.page_count = 0;  in kvm_s390_vsie_destroy()
1360 	mutex_unlock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()