598 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_gmap_notifier()
599 		page = READ_ONCE(kvm->arch.vsie.pages[i]);  in kvm_s390_vsie_gmap_notifier()
1337 	page = radix_tree_lookup(&kvm->arch.vsie.addr_to_page, addr >> 9);  in get_vsie_page()
1351 	mutex_lock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1352 	if (kvm->arch.vsie.page_count < nr_vcpus) {  in get_vsie_page()
1355 			mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1359 		kvm->arch.vsie.pages[kvm->arch.vsie.page_count] = page;  in get_vsie_page()
1360 		kvm->arch.vsie.page_count++;  in get_vsie_page()
1364 			page = kvm->arch.vsie.pages[kvm->arch.vsie.next];  in get_vsie_page()
1368 			kvm->arch.vsie.next++;  in get_vsie_page()
1369 			kvm->arch.vsie.next %= nr_vcpus;  in get_vsie_page()
1371 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in get_vsie_page()
1375 	if (radix_tree_insert(&kvm->arch.vsie.addr_to_page, addr >> 9, page)) {  in get_vsie_page()
1377 		mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1380 	mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1454 	mutex_init(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_init()
1455 	INIT_RADIX_TREE(&kvm->arch.vsie.addr_to_page, GFP_KERNEL_ACCOUNT);  in kvm_s390_vsie_init()
1465 	mutex_lock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()
1466 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_destroy()
1467 		page = kvm->arch.vsie.pages[i];  in kvm_s390_vsie_destroy()
1468 		kvm->arch.vsie.pages[i] = NULL;  in kvm_s390_vsie_destroy()
1472 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in kvm_s390_vsie_destroy()
1475 	kvm->arch.vsie.page_count = 0;  in kvm_s390_vsie_destroy()
1476 	mutex_unlock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()