595 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_gmap_notifier()
596 		page = READ_ONCE(kvm->arch.vsie.pages[i]);  in kvm_s390_vsie_gmap_notifier()
1362 	page = radix_tree_lookup(&kvm->arch.vsie.addr_to_page, addr >> 9);  in get_vsie_page()
1376 	mutex_lock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1377 	if (kvm->arch.vsie.page_count < nr_vcpus) {  in get_vsie_page()
1380 			mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1384 		kvm->arch.vsie.pages[kvm->arch.vsie.page_count] = page;  in get_vsie_page()
1385 		kvm->arch.vsie.page_count++;  in get_vsie_page()
1389 			page = kvm->arch.vsie.pages[kvm->arch.vsie.next];  in get_vsie_page()
1393 			kvm->arch.vsie.next++;  in get_vsie_page()
1394 			kvm->arch.vsie.next %= nr_vcpus;  in get_vsie_page()
1396 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in get_vsie_page()
1400 	if (radix_tree_insert(&kvm->arch.vsie.addr_to_page, addr >> 9, page)) {  in get_vsie_page()
1402 		mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1405 	mutex_unlock(&kvm->arch.vsie.mutex);  in get_vsie_page()
1481 	mutex_init(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_init()
1482 	INIT_RADIX_TREE(&kvm->arch.vsie.addr_to_page, GFP_KERNEL_ACCOUNT);  in kvm_s390_vsie_init()
1492 	mutex_lock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()
1493 	for (i = 0; i < kvm->arch.vsie.page_count; i++) {  in kvm_s390_vsie_destroy()
1494 		page = kvm->arch.vsie.pages[i];  in kvm_s390_vsie_destroy()
1495 		kvm->arch.vsie.pages[i] = NULL;  in kvm_s390_vsie_destroy()
1499 		radix_tree_delete(&kvm->arch.vsie.addr_to_page, page->index >> 9);  in kvm_s390_vsie_destroy()
1502 	kvm->arch.vsie.page_count = 0;  in kvm_s390_vsie_destroy()
1503 	mutex_unlock(&kvm->arch.vsie.mutex);  in kvm_s390_vsie_destroy()