/linux-6.3-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/ |
A 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)
|
A D | .gitignore | 2 srcu.c
|
/linux-6.3-rc2/mm/ |
A D | mmu_notifier.c | 23 DEFINE_STATIC_SRCU(srcu); 309 id = srcu_read_lock(&srcu); in mn_hlist_release() 345 synchronize_srcu(&srcu); in mn_hlist_release() 372 id = srcu_read_lock(&srcu); in __mmu_notifier_clear_flush_young() 392 id = srcu_read_lock(&srcu); in __mmu_notifier_clear_young() 411 id = srcu_read_lock(&srcu); in __mmu_notifier_test_young() 433 id = srcu_read_lock(&srcu); in __mmu_notifier_change_pte() 483 id = srcu_read_lock(&srcu); in mn_hlist_invalidate_range_start() 559 id = srcu_read_lock(&srcu); in mn_hlist_invalidate_end() 854 synchronize_srcu(&srcu); in mmu_notifier_unregister() [all …]
|
/linux-6.3-rc2/tools/memory-model/ |
A 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
|
A 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 | 113 let srcu-gp = [Sync-srcu] 115 let srcu-rscsi = srcu-rscs^-1 132 let rec rcu-order = rcu-gp | srcu-gp | 134 ((srcu-gp ; rcu-link ; srcu-rscsi) & loc) | 136 ((srcu-rscsi ; rcu-link ; srcu-gp) & loc) | 138 ((srcu-gp ; rcu-link ; rcu-order ; rcu-link ; srcu-rscsi) & loc) | 140 ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) |
|
A 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-6.3-rc2/arch/sh/kernel/ |
A D | traps_32.c | 108 unsigned char __user *srcu, *dstu; in handle_unaligned_ins() local 131 srcu += regs->regs[0]; in handle_unaligned_ins() 138 if (ma->from(dst, srcu, count)) in handle_unaligned_ins() 181 srcu = (unsigned char __user *)*rm; in handle_unaligned_ins() 186 if (ma->from(dst, srcu, 4)) in handle_unaligned_ins() 201 if (ma->from(dst, srcu, count)) in handle_unaligned_ins() 231 if (ma->from(dst, srcu, 2)) in handle_unaligned_ins() 241 srcu += 4; in handle_unaligned_ins() 250 if (ma->from(dst, srcu, 2)) in handle_unaligned_ins() 258 srcu += 4; in handle_unaligned_ins() [all …]
|
/linux-6.3-rc2/drivers/net/wireless/microchip/wilc1000/ |
A D | netdev.c | 134 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_wlan_get_num_conn_ifcs() 139 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_wlan_get_num_conn_ifcs() 166 srcu_idx = srcu_read_lock(&wl->srcu); in wilc_txq_task() 172 srcu_read_unlock(&wl->srcu, srcu_idx); in wilc_txq_task() 655 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_set_mac_addr() 845 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_wfi_mgmt_rx() 892 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_netdev_cleanup() 914 synchronize_srcu(&wilc->srcu); in wilc_netdev_cleanup() 931 srcu_idx = srcu_read_lock(&wl->srcu); in wilc_get_available_idx() 938 srcu_read_unlock(&wl->srcu, srcu_idx); in wilc_get_available_idx() [all …]
|
A D | cfg80211.c | 244 srcu_idx = srcu_read_lock(&wl->srcu); in set_channel() 247 srcu_read_unlock(&wl->srcu, srcu_idx); in set_channel() 258 srcu_read_unlock(&wl->srcu, srcu_idx); in set_channel() 815 srcu_idx = srcu_read_lock(&wl->srcu); in set_wiphy_params() 870 srcu_read_unlock(&wl->srcu, srcu_idx); in set_wiphy_params() 1550 srcu_idx = srcu_read_lock(&wl->srcu); in add_virtual_intf() 1623 synchronize_srcu(&wl->srcu); in del_virtual_intf() 1650 srcu_idx = srcu_read_lock(&wl->srcu); in wilc_set_wakeup() 1674 srcu_idx = srcu_read_lock(&wl->srcu); in set_tx_power() 1772 init_srcu_struct(&wl->srcu); in wlan_init_locks() [all …]
|
/linux-6.3-rc2/arch/arm64/kvm/ |
A 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-6.3-rc2/include/linux/ |
A D | notifier.h | 76 struct srcu_struct srcu; member 95 cleanup_srcu_struct(&(name)->srcu); 110 .srcu = __SRCU_STRUCT_INIT(name.srcu, pcpu), \
|
/linux-6.3-rc2/arch/arm64/include/asm/ |
A D | kvm_mmu.h | 250 int srcu_idx = srcu_read_lock(&kvm->srcu); 253 srcu_read_unlock(&kvm->srcu, srcu_idx); 261 int srcu_idx = srcu_read_lock(&kvm->srcu); 264 srcu_read_unlock(&kvm->srcu, srcu_idx);
|
/linux-6.3-rc2/arch/powerpc/kvm/ |
A D | book3s_hv_uvmem.c | 484 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_start() 503 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_start() 673 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_abort() 678 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_abort() 840 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_done() 863 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_done() 888 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_share_page() 925 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_share_page() 958 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_page_in() 985 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_page_in() [all …]
|
A 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() 747 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_rmap_reset() 760 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_rmap_reset() 1151 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_pin_guest_page() 1160 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_pin_guest_page() 1168 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_pin_guest_page() 1187 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_unpin_guest_page() 1191 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_unpin_guest_page() 1275 srcu_read_unlock(&kvm->srcu, srcu_idx); in resize_hpt_rehash_hpte() [all …]
|
/linux-6.3-rc2/drivers/gpu/drm/i915/gt/ |
A D | intel_reset.h | 41 int __must_check intel_gt_reset_trylock(struct intel_gt *gt, int *srcu); 42 int __must_check intel_gt_reset_lock_interruptible(struct intel_gt *gt, int *srcu);
|
/linux-6.3-rc2/drivers/nvme/host/ |
A D | multipath.c | 204 srcu_idx = srcu_read_lock(&head->srcu); in nvme_mpath_revalidate_paths() 209 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_mpath_revalidate_paths() 335 ns = srcu_dereference(head->current_path[node], &head->srcu); in nvme_find_path() 382 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_submit_bio() 402 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_submit_bio() 425 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_report_zones() 429 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_report_zones() 586 srcu_idx = srcu_read_lock(&head->srcu); in nvme_mpath_set_live() 589 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_mpath_set_live() 593 synchronize_srcu(&head->srcu); in nvme_mpath_set_live()
|
A D | ioctl.c | 802 __releases(&head->srcu) in nvme_ns_head_ctrl_ioctl() 808 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_ctrl_ioctl() 827 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_ioctl() 843 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_ioctl() 857 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_chr_ioctl() 868 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_chr_ioctl() 877 int srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_chr_uring_cmd() 883 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_chr_uring_cmd() 893 int srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_chr_uring_cmd_iopoll() 908 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_chr_uring_cmd_iopoll()
|
/linux-6.3-rc2/arch/x86/kernel/cpu/sgx/ |
A D | encl.c | 739 cleanup_srcu_struct(&encl->srcu); in sgx_encl_release() 773 synchronize_srcu(&encl_mm->encl->srcu); in sgx_mmu_notifier_release() 800 idx = srcu_read_lock(&encl->srcu); in sgx_encl_find_mm() 809 srcu_read_unlock(&encl->srcu, idx); in sgx_encl_find_mm() 911 idx = srcu_read_lock(&encl->srcu); in sgx_encl_cpumask() 922 srcu_read_unlock(&encl->srcu, idx); in sgx_encl_cpumask() 996 idx = srcu_read_lock(&encl->srcu); in sgx_encl_get_mem_cgroup() 1009 srcu_read_unlock(&encl->srcu, idx); in sgx_encl_get_mem_cgroup() 1190 idx = srcu_read_lock(&encl->srcu); in sgx_zap_enclave_ptes() 1207 srcu_read_unlock(&encl->srcu, idx); in sgx_zap_enclave_ptes()
|
A D | driver.c | 33 ret = init_srcu_struct(&encl->srcu); in sgx_open() 72 synchronize_srcu(&encl->srcu); in sgx_release()
|
/linux-6.3-rc2/Documentation/virt/kvm/ |
A D | locking.rst | 29 - ``synchronize_srcu(&kvm->srcu)`` is called inside critical sections 31 be taken inside a kvm->srcu read-side critical section; that is, the 34 srcu_read_lock(&kvm->srcu); 39 kvm->srcu read-side critical section, for example while processing 259 ``kvm->srcu`` 261 :Type: srcu lock 265 :Comment: The srcu read lock must be held while accessing memslots (e.g. 268 The srcu index can be stored in kvm_vcpu->srcu_idx per vcpu 276 in a ``kvm->srcu`` read-side critical section.
|
/linux-6.3-rc2/kernel/ |
A D | notifier.c | 520 synchronize_srcu(&nh->srcu); in srcu_notifier_chain_unregister() 547 idx = srcu_read_lock(&nh->srcu); in srcu_notifier_call_chain() 549 srcu_read_unlock(&nh->srcu, idx); in srcu_notifier_call_chain() 569 if (init_srcu_struct(&nh->srcu) < 0) in srcu_init_notifier_head()
|
/linux-6.3-rc2/tools/testing/selftests/rcutorture/configs/rcu/ |
A D | SRCU-T.boot | 1 rcutorture.torture_type=srcu
|
A D | SRCU-N.boot | 1 rcutorture.torture_type=srcu
|
/linux-6.3-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/ |
A D | .gitignore | 2 srcu.h
|
/linux-6.3-rc2/drivers/pci/controller/ |
A D | vmd.c | 120 struct srcu_struct srcu; member 291 synchronize_srcu(&vmdirq->irq->srcu); in vmd_msi_free() 668 idx = srcu_read_lock(&irqs->srcu); in vmd_irq() 671 srcu_read_unlock(&irqs->srcu, idx); in vmd_irq() 696 err = init_srcu_struct(&vmd->irqs[i].srcu); in vmd_alloc_irqs() 1023 cleanup_srcu_struct(&vmd->irqs[i].srcu); in vmd_cleanup_srcu()
|