| /Linux-v5.15/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 | 2 srcu.c
|
| /Linux-v5.15/mm/ |
| D | mmu_notifier.c | 23 DEFINE_STATIC_SRCU(srcu);
309 id = srcu_read_lock(&srcu); in mn_hlist_release()
311 srcu_read_lock_held(&srcu)) in mn_hlist_release()
334 srcu_read_unlock(&srcu, id); in mn_hlist_release()
345 synchronize_srcu(&srcu); in mn_hlist_release()
372 id = srcu_read_lock(&srcu); in __mmu_notifier_clear_flush_young()
375 srcu_read_lock_held(&srcu)) { in __mmu_notifier_clear_flush_young()
380 srcu_read_unlock(&srcu, id); in __mmu_notifier_clear_flush_young()
392 id = srcu_read_lock(&srcu); in __mmu_notifier_clear_young()
395 srcu_read_lock_held(&srcu)) { in __mmu_notifier_clear_young()
[all …]
|
| /Linux-v5.15/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.15/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.15/drivers/net/wireless/microchip/wilc1000/ |
| D | netdev.c | 132 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_wlan_get_num_conn_ifcs()
137 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_wlan_get_num_conn_ifcs()
164 srcu_idx = srcu_read_lock(&wl->srcu); in wilc_txq_task()
170 srcu_read_unlock(&wl->srcu, srcu_idx); in wilc_txq_task()
649 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_set_mac_addr()
654 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_set_mac_addr()
657 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_set_mac_addr()
661 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_set_mac_addr()
751 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_mac_xmit()
756 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_mac_xmit()
[all …]
|
| D | cfg80211.c | 243 srcu_idx = srcu_read_lock(&wl->srcu); in set_channel()
246 srcu_read_unlock(&wl->srcu, srcu_idx); in set_channel()
257 srcu_read_unlock(&wl->srcu, srcu_idx); in set_channel()
796 srcu_idx = srcu_read_lock(&wl->srcu); in set_wiphy_params()
851 srcu_read_unlock(&wl->srcu, srcu_idx); in set_wiphy_params()
1476 srcu_idx = srcu_read_lock(&wl->srcu); in add_virtual_intf()
1481 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf()
1487 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf()
1495 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf()
1500 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf()
[all …]
|
| /Linux-v5.15/arch/arm64/kvm/ |
| D | pvtime.c | 25 idx = srcu_read_lock(&kvm->srcu); in kvm_update_stolen_time()
32 srcu_read_unlock(&kvm->srcu, idx); in kvm_update_stolen_time()
96 idx = srcu_read_lock(&kvm->srcu); in kvm_arm_pvtime_set_attr()
99 srcu_read_unlock(&kvm->srcu, idx); in kvm_arm_pvtime_set_attr()
|
| /Linux-v5.15/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.15/arch/arm64/include/asm/ |
| D | kvm_mmu.h | 234 int srcu_idx = srcu_read_lock(&kvm->srcu);
237 srcu_read_unlock(&kvm->srcu, srcu_idx);
245 int srcu_idx = srcu_read_lock(&kvm->srcu);
248 srcu_read_unlock(&kvm->srcu, srcu_idx);
|
| /Linux-v5.15/arch/powerpc/kvm/ |
| D | book3s_hv_uvmem.c | 477 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_start()
496 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_start()
663 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_abort()
668 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_abort()
831 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_done()
854 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_done()
879 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_share_page()
916 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_share_page()
949 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_page_in()
976 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_page_in()
[all …]
|
| D | book3s_hv_nested.c | 309 vcpu->srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmhv_enter_nested_guest()
312 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->srcu_idx); in kvmhv_enter_nested_guest()
415 vcpu->srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmhv_enter_nested_guest()
418 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->srcu_idx); in kvmhv_enter_nested_guest()
543 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmhv_set_partition_table()
551 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmhv_set_partition_table()
605 vcpu->srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmhv_copy_tofrom_guest_nested()
607 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->srcu_idx); in kvmhv_copy_tofrom_guest_nested()
612 vcpu->srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmhv_copy_tofrom_guest_nested()
614 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->srcu_idx); in kvmhv_copy_tofrom_guest_nested()
[all …]
|
| D | book3s_64_mmu_hv.c | 433 idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmppc_hv_emulate_mmio()
436 srcu_read_unlock(&vcpu->kvm->srcu, idx); in kvmppc_hv_emulate_mmio()
739 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_rmap_reset()
752 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_rmap_reset()
1143 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_pin_guest_page()
1152 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_pin_guest_page()
1160 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_pin_guest_page()
1179 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_unpin_guest_page()
1183 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_unpin_guest_page()
1254 int srcu_idx = srcu_read_lock(&kvm->srcu); in resize_hpt_rehash_hpte()
[all …]
|
| /Linux-v5.15/kernel/ |
| D | notifier.c | 457 synchronize_srcu(&nh->srcu); in srcu_notifier_chain_unregister()
484 idx = srcu_read_lock(&nh->srcu); in srcu_notifier_call_chain()
486 srcu_read_unlock(&nh->srcu, idx); in srcu_notifier_call_chain()
506 if (init_srcu_struct(&nh->srcu) < 0) in srcu_init_notifier_head()
|
| /Linux-v5.15/drivers/nvme/host/ |
| D | ioctl.c | 375 __releases(&head->srcu) in nvme_ns_head_ctrl_ioctl()
381 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_ctrl_ioctl()
396 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_ioctl()
411 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_ioctl()
425 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_chr_ioctl()
435 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_chr_ioctl()
|
| D | multipath.c | 284 ns = srcu_dereference(head->current_path[node], &head->srcu); in nvme_find_path()
330 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_submit_bio()
351 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_submit_bio()
375 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_report_zones()
379 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_report_zones()
511 srcu_idx = srcu_read_lock(&head->srcu); in nvme_mpath_set_live()
514 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_mpath_set_live()
518 synchronize_srcu(&head->srcu); in nvme_mpath_set_live()
|
| /Linux-v5.15/arch/x86/kernel/cpu/sgx/ |
| D | main.c | 91 idx = srcu_read_lock(&encl->srcu); in sgx_reclaimer_age()
107 srcu_read_unlock(&encl->srcu, idx); in sgx_reclaimer_age()
131 idx = srcu_read_lock(&encl->srcu); in sgx_reclaimer_block()
148 srcu_read_unlock(&encl->srcu, idx); in sgx_reclaimer_block()
199 idx = srcu_read_lock(&encl->srcu); in sgx_encl_ewb_cpumask()
210 srcu_read_unlock(&encl->srcu, idx); in sgx_encl_ewb_cpumask()
|
| D | driver.c | 33 ret = init_srcu_struct(&encl->srcu); in sgx_open()
72 synchronize_srcu(&encl->srcu); in sgx_release()
|
| /Linux-v5.15/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.15/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/ |
| D | .gitignore | 2 srcu.h
|
| /Linux-v5.15/drivers/pci/controller/ |
| D | vmd.c | 104 struct srcu_struct srcu; member
275 synchronize_srcu(&vmdirq->irq->srcu); in vmd_msi_free()
618 idx = srcu_read_lock(&irqs->srcu); in vmd_irq()
621 srcu_read_unlock(&irqs->srcu, idx); in vmd_irq()
646 err = init_srcu_struct(&vmd->irqs[i].srcu); in vmd_alloc_irqs()
869 cleanup_srcu_struct(&vmd->irqs[i].srcu); in vmd_cleanup_srcu()
|
| /Linux-v5.15/Documentation/virt/kvm/ |
| D | locking.rst | 20 synchronize_srcu(&kvm->srcu). Therefore kvm->slots_arch_lock
21 can be taken inside a kvm->srcu read-side critical section,
238 :Name: kvm->srcu
239 :Type: srcu lock
243 :Comment: The srcu read lock must be held while accessing memslots (e.g.
246 The srcu index can be stored in kvm_vcpu->srcu_idx per vcpu
|
