577 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_gmap_notifier()
578 		page = READ_ONCE(kvm->arch.vsie.pages[i]);  in kvm_s390_vsie_gmap_notifier()
1314 	page = radix_tree_lookup(&kvm->arch.vsie.addr_to_page, addr >> 9);  in get_vsie_page()
1328 	mutex_lock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1329 	if (kvm->arch.vsie.page_count < nr_vcpus) {  in get_vsie_page()
1332 			mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1336 		kvm->arch.vsie.pages[kvm->arch.vsie.page_count] = page;  in get_vsie_page()
1337 		kvm->arch.vsie.page_count++;  in get_vsie_page()
1341 			page = kvm->arch.vsie.pages[kvm->arch.vsie.next];  in get_vsie_page()
1345 			kvm->arch.vsie.next++;  in get_vsie_page()
1346 			kvm->arch.vsie.next %= nr_vcpus;  in get_vsie_page()
1348 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in get_vsie_page()
1352 	if (radix_tree_insert(&kvm->arch.vsie.addr_to_page, addr >> 9, page)) {  in get_vsie_page()
1354 		mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1357 	mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1431 	mutex_init(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_init()
1432 	INIT_RADIX_TREE(&kvm->arch.vsie.addr_to_page, GFP_KERNEL);  in kvm_s390_vsie_init()
1442 	mutex_lock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()
1443 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_destroy()
1444 		page = kvm->arch.vsie.pages[i];  in kvm_s390_vsie_destroy()
1445 		kvm->arch.vsie.pages[i] = NULL;  in kvm_s390_vsie_destroy()
1449 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in kvm_s390_vsie_destroy()
1452 	kvm->arch.vsie.page_count = 0;  in kvm_s390_vsie_destroy()
1453 	mutex_unlock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()