/Linux-v5.4/tools/testing/selftests/rcutorture/formal/srcu-cbmc/ |
D | Makefile | 2 all: srcu.c store_buffering 6 modified_srcu_input = $(LINUX_SOURCE)/include/linux/srcu.h \ 7 $(LINUX_SOURCE)/kernel/rcu/srcu.c 9 modified_srcu_output = include/linux/srcu.h srcu.c 11 include/linux/srcu.h: srcu.c 13 srcu.c: modify_srcu.awk Makefile $(modified_srcu_input)
|
D | .gitignore | 1 srcu.c
|
/Linux-v5.4/mm/ |
D | mmu_notifier.c | 22 DEFINE_STATIC_SRCU(srcu); 51 id = srcu_read_lock(&srcu); in __mmu_notifier_release() 76 srcu_read_unlock(&srcu, id); in __mmu_notifier_release() 87 synchronize_srcu(&srcu); in __mmu_notifier_release() 102 id = srcu_read_lock(&srcu); in __mmu_notifier_clear_flush_young() 107 srcu_read_unlock(&srcu, id); in __mmu_notifier_clear_flush_young() 119 id = srcu_read_lock(&srcu); in __mmu_notifier_clear_young() 124 srcu_read_unlock(&srcu, id); in __mmu_notifier_clear_young() 135 id = srcu_read_lock(&srcu); in __mmu_notifier_test_young() 143 srcu_read_unlock(&srcu, id); in __mmu_notifier_test_young() [all …]
|
/Linux-v5.4/tools/memory-model/ |
D | linux-kernel.bell | 38 enum SRCU = 'srcu-lock || 'srcu-unlock || 'sync-srcu 40 (* All srcu events *) 41 let Srcu = Srcu-lock | Srcu-unlock | Sync-srcu 60 let srcu-rscs = let rec 72 flag ~empty Srcu-lock \ domain(srcu-rscs) as unbalanced-srcu-locking 73 flag ~empty Srcu-unlock \ range(srcu-rscs) as unbalanced-srcu-locking 76 flag ~empty rcu-rscs & (po ; [Sync-srcu] ; po) as invalid-sleep 79 flag ~empty different-values(srcu-rscs) as srcu-bad-nesting
|
D | linux-kernel.cat | 42 let gp = po ; [Sync-rcu | Sync-srcu] ; po? 47 let barrier = fencerel(Barrier | Rmb | Wmb | Mb | Sync-rcu | Sync-srcu | 112 let srcu-gp = [Sync-srcu] 114 let srcu-rscsi = srcu-rscs^-1 131 let rec rcu-order = rcu-gp | srcu-gp | 133 ((srcu-gp ; rcu-link ; srcu-rscsi) & loc) | 135 ((srcu-rscsi ; rcu-link ; srcu-gp) & loc) | 137 ((srcu-gp ; rcu-link ; rcu-order ; rcu-link ; srcu-rscsi) & loc) | 139 ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) |
|
D | linux-kernel.def | 52 srcu_read_lock(X) __srcu{srcu-lock}(X) 53 srcu_read_unlock(X,Y) { __srcu{srcu-unlock}(X,Y); } 54 synchronize_srcu(X) { __srcu{sync-srcu}(X); } 55 synchronize_srcu_expedited(X) { __srcu{sync-srcu}(X); }
|
/Linux-v5.4/arch/sh/kernel/ |
D | traps_32.c | 91 unsigned char __user *srcu, *dstu; in handle_unaligned_ins() local 113 srcu = (unsigned char __user *)*rm; in handle_unaligned_ins() 114 srcu += regs->regs[0]; in handle_unaligned_ins() 121 if (ma->from(dst, srcu, count)) in handle_unaligned_ins() 164 srcu = (unsigned char __user *)*rm; in handle_unaligned_ins() 165 srcu += (instruction & 0x000F) << 2; in handle_unaligned_ins() 169 if (ma->from(dst, srcu, 4)) in handle_unaligned_ins() 175 srcu = (unsigned char __user *)*rm; in handle_unaligned_ins() 184 if (ma->from(dst, srcu, count)) in handle_unaligned_ins() 206 srcu = (unsigned char __user *)*rm; in handle_unaligned_ins() [all …]
|
/Linux-v5.4/include/linux/ |
D | notifier.h | 76 struct srcu_struct srcu; member 95 cleanup_srcu_struct(&(name)->srcu); 110 .srcu = __SRCU_STRUCT_INIT(name.srcu, pcpu), \
|
/Linux-v5.4/kernel/ |
D | notifier.c | 469 synchronize_srcu(&nh->srcu); in srcu_notifier_chain_unregister() 499 idx = srcu_read_lock(&nh->srcu); in __srcu_notifier_call_chain() 501 srcu_read_unlock(&nh->srcu, idx); in __srcu_notifier_call_chain() 528 if (init_srcu_struct(&nh->srcu) < 0) in srcu_init_notifier_head()
|
/Linux-v5.4/arch/arm/include/asm/ |
D | kvm_mmu.h | 364 int srcu_idx = srcu_read_lock(&kvm->srcu); in kvm_read_guest_lock() 367 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvm_read_guest_lock() 375 int srcu_idx = srcu_read_lock(&kvm->srcu); in kvm_write_guest_lock() 378 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvm_write_guest_lock()
|
/Linux-v5.4/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/ |
D | .gitignore | 1 srcu.h
|
/Linux-v5.4/tools/testing/selftests/rcutorture/configs/rcu/ |
D | SRCU-N.boot | 1 rcutorture.torture_type=srcu
|
D | SRCU-t.boot | 1 rcutorture.torture_type=srcu
|
/Linux-v5.4/arch/arm64/include/asm/ |
D | kvm_mmu.h | 429 int srcu_idx = srcu_read_lock(&kvm->srcu); 432 srcu_read_unlock(&kvm->srcu, srcu_idx); 440 int srcu_idx = srcu_read_lock(&kvm->srcu); 443 srcu_read_unlock(&kvm->srcu, srcu_idx);
|
/Linux-v5.4/drivers/nvme/host/ |
D | multipath.c | 269 ns = srcu_dereference(head->current_path[node], &head->srcu); in nvme_find_path() 312 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_make_request() 334 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_make_request() 427 srcu_idx = srcu_read_lock(&head->srcu); in nvme_mpath_set_live() 430 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_mpath_set_live() 433 synchronize_srcu(&ns->head->srcu); in nvme_mpath_set_live()
|
/Linux-v5.4/virt/kvm/ |
D | kvm_main.c | 392 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_change_pte() 400 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_change_pte() 410 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_invalidate_range_start() 430 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_invalidate_range_start() 467 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_clear_flush_young() 475 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_clear_flush_young() 488 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_clear_young() 505 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_clear_young() 517 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_test_young() 521 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_test_young() [all …]
|
/Linux-v5.4/drivers/gpu/drm/i915/gem/ |
D | i915_gem_mman.c | 230 int srcu; in i915_gem_fault() local 248 ret = intel_gt_reset_trylock(ggtt->vm.gt, &srcu); in i915_gem_fault() 332 intel_gt_reset_unlock(ggtt->vm.gt, srcu); in i915_gem_fault()
|
/Linux-v5.4/arch/x86/kvm/ |
D | pmu.c | 162 filter = srcu_dereference(kvm->arch.pmu_event_filter, &kvm->srcu); in reprogram_gp_counter() 217 filter = srcu_dereference(kvm->arch.pmu_event_filter, &kvm->srcu); in reprogram_fixed_counter() 423 synchronize_srcu_expedited(&kvm->srcu); in kvm_vm_ioctl_set_pmu_event_filter()
|
/Linux-v5.4/drivers/pci/controller/ |
D | vmd.c | 83 struct srcu_struct srcu; member 255 synchronize_srcu(&vmdirq->irq->srcu); in vmd_msi_free() 725 idx = srcu_read_lock(&irqs->srcu); in vmd_irq() 728 srcu_read_unlock(&irqs->srcu, idx); in vmd_irq() 774 err = init_srcu_struct(&vmd->irqs[i].srcu); in vmd_probe() 802 cleanup_srcu_struct(&vmd->irqs[i].srcu); in vmd_cleanup_srcu()
|
/Linux-v5.4/arch/powerpc/kvm/ |
D | book3s_64_mmu_hv.c | 441 idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmppc_hv_emulate_mmio() 444 srcu_read_unlock(&vcpu->kvm->srcu, idx); in kvmppc_hv_emulate_mmio() 750 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_rmap_reset() 763 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_rmap_reset() 1180 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_pin_guest_page() 1189 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_pin_guest_page() 1197 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_pin_guest_page() 1216 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_unpin_guest_page() 1220 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_unpin_guest_page() 1291 int srcu_idx = srcu_read_lock(&kvm->srcu); in resize_hpt_rehash_hpte() [all …]
|
D | book3s_xive_native.c | 625 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_xive_native_set_queue_config() 629 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_xive_native_set_queue_config() 636 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_xive_native_set_queue_config() 642 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_xive_native_set_queue_config() 885 srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmppc_xive_native_vcpu_eq_sync() 887 srcu_read_unlock(&vcpu->kvm->srcu, srcu_idx); in kvmppc_xive_native_vcpu_eq_sync()
|
D | book3s_64_vio.c | 560 idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmppc_h_put_tce() 594 srcu_read_unlock(&vcpu->kvm->srcu, idx); in kvmppc_h_put_tce() 630 idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmppc_h_put_tce_indirect() 691 srcu_read_unlock(&vcpu->kvm->srcu, idx); in kvmppc_h_put_tce_indirect()
|
/Linux-v5.4/drivers/gpu/drm/i915/gt/ |
D | intel_reset.h | 41 int __must_check intel_gt_reset_trylock(struct intel_gt *gt, int *srcu);
|
/Linux-v5.4/Documentation/virt/kvm/ |
D | locking.txt | 194 Name: kvm->srcu 195 Type: srcu lock 199 Comment: The srcu read lock must be held while accessing memslots (e.g. 202 The srcu index can be stored in kvm_vcpu->srcu_idx per vcpu
|
/Linux-v5.4/drivers/gpu/drm/i915/gvt/ |
D | kvmgt.c | 1647 idx = srcu_read_lock(&kvm->srcu); in kvmgt_page_track_add() 1650 srcu_read_unlock(&kvm->srcu, idx); in kvmgt_page_track_add() 1664 srcu_read_unlock(&kvm->srcu, idx); in kvmgt_page_track_add() 1681 idx = srcu_read_lock(&kvm->srcu); in kvmgt_page_track_remove() 1684 srcu_read_unlock(&kvm->srcu, idx); in kvmgt_page_track_remove() 1698 srcu_read_unlock(&kvm->srcu, idx); in kvmgt_page_track_remove() 1982 idx = srcu_read_lock(&kvm->srcu); in kvmgt_rw_gpa() 1985 srcu_read_unlock(&kvm->srcu, idx); in kvmgt_rw_gpa() 2025 idx = srcu_read_lock(&kvm->srcu); in kvmgt_is_valid_gfn() 2027 srcu_read_unlock(&kvm->srcu, idx); in kvmgt_is_valid_gfn()
|