/kernel/linux/linux-5.10/tools/testing/selftests/rcutorture/formal/srcu-cbmc/ |
H 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)
|
/kernel/linux/linux-5.10/mm/ |
H A D | mmu_notifier.c | 16 #include <linux/srcu.h> 23 DEFINE_STATIC_SRCU(srcu); variable 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() [all...] |
/kernel/linux/linux-6.6/mm/ |
H A D | mmu_notifier.c | 16 #include <linux/srcu.h> 23 DEFINE_STATIC_SRCU(srcu); variable 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() [all...] |
/kernel/linux/linux-5.10/arch/sh/kernel/ |
H A 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 in handle_unaligned_ins() [all...] |
/kernel/linux/linux-6.6/arch/sh/kernel/ |
H A D | traps_32.c | 108 unsigned char __user *srcu, *dstu; in handle_unaligned_ins() local 130 srcu = (unsigned char __user *)*rm; in handle_unaligned_ins() 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() 182 srcu += (instruction & 0x000F) << 2; in handle_unaligned_ins() 186 if (ma->from(dst, srcu, 4)) in handle_unaligned_ins() 192 srcu = (unsigned char __user *)*rm; in handle_unaligned_ins() 201 if (ma->from(dst, srcu, count)) in handle_unaligned_ins() 223 srcu in handle_unaligned_ins() [all...] |
/kernel/linux/linux-5.10/arch/arm64/kvm/ |
H 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() 67 idx = srcu_read_lock(&kvm->srcu); in kvm_init_stolen_time() 69 srcu_read_unlock(&kvm->srcu, idx); in kvm_init_stolen_time() 100 idx = srcu_read_lock(&kvm->srcu); in kvm_arm_pvtime_set_attr() 103 srcu_read_unlock(&kvm->srcu, idx); in kvm_arm_pvtime_set_attr()
|
/kernel/linux/linux-6.6/arch/x86/kvm/mmu/ |
H A D | page_track.c | 83 srcu_read_lock_held(&kvm->srcu)); in __kvm_write_track_add_gfn() 106 srcu_read_lock_held(&kvm->srcu)); in __kvm_write_track_remove_gfn() 260 idx = srcu_read_lock(&kvm->srcu); in kvm_write_track_add_gfn() 264 srcu_read_unlock(&kvm->srcu, idx); in kvm_write_track_add_gfn() 272 srcu_read_unlock(&kvm->srcu, idx); in kvm_write_track_add_gfn() 290 idx = srcu_read_lock(&kvm->srcu); in kvm_write_track_remove_gfn() 294 srcu_read_unlock(&kvm->srcu, idx); in kvm_write_track_remove_gfn() 302 srcu_read_unlock(&kvm->srcu, idx); in kvm_write_track_remove_gfn()
|
/kernel/linux/linux-5.10/include/linux/ |
H A D | notifier.h | 16 #include <linux/srcu.h> 76 struct srcu_struct srcu; member 95 cleanup_srcu_struct(&(name)->srcu); 110 .srcu = __SRCU_STRUCT_INIT(name.srcu, pcpu), \
|
/kernel/linux/linux-6.6/include/linux/ |
H A D | notifier.h | 16 #include <linux/srcu.h> 77 struct srcu_struct srcu; member 96 cleanup_srcu_struct(&(name)->srcu); 112 .srcu = __SRCU_STRUCT_INIT(name.srcu, name.srcuu, pcpu), \
|
/kernel/linux/linux-6.6/arch/arm64/kvm/ |
H 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()
|
/kernel/linux/linux-6.6/drivers/net/wireless/microchip/wilc1000/ |
H 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() 660 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_set_mac_addr() 663 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_set_mac_addr() 667 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_set_mac_addr() 758 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_mac_xmit() 763 srcu_read_unlock(&wilc->srcu, srcu_id in wilc_mac_xmit() [all...] |
H 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() 1555 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf() 1561 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf() 1569 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf() 1574 srcu_read_unlock(&wl->srcu, srcu_id in add_virtual_intf() [all...] |
/kernel/linux/linux-6.6/drivers/gpu/drm/i915/gt/ |
H A D | intel_reset.h | 11 #include <linux/srcu.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);
|
/kernel/linux/linux-5.10/arch/arm64/include/asm/ |
H A D | kvm_mmu.h | 185 * We are not in the kvm->srcu critical section most of the time, so we take 192 int srcu_idx = srcu_read_lock(&kvm->srcu); 195 srcu_read_unlock(&kvm->srcu, srcu_idx); 203 int srcu_idx = srcu_read_lock(&kvm->srcu); 206 srcu_read_unlock(&kvm->srcu, srcu_idx);
|
/kernel/linux/linux-5.10/drivers/net/wireless/microchip/wilc1000/ |
H A D | netdev.c | 136 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_wlan_get_num_conn_ifcs() 141 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_wlan_get_num_conn_ifcs() 168 srcu_idx = srcu_read_lock(&wl->srcu); in wilc_txq_task() 174 srcu_read_unlock(&wl->srcu, srcu_idx); in wilc_txq_task() 712 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_mac_xmit() 717 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_mac_xmit() 798 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_wfi_mgmt_rx() 810 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_wfi_mgmt_rx() 835 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_netdev_cleanup() 840 srcu_read_unlock(&wilc->srcu, srcu_id in wilc_netdev_cleanup() [all...] |
H A D | cfg80211.c | 242 srcu_idx = srcu_read_lock(&wl->srcu); in set_channel() 245 srcu_read_unlock(&wl->srcu, srcu_idx); in set_channel() 256 srcu_read_unlock(&wl->srcu, srcu_idx); in set_channel() 795 srcu_idx = srcu_read_lock(&wl->srcu); in set_wiphy_params() 850 srcu_read_unlock(&wl->srcu, srcu_idx); in set_wiphy_params() 1497 srcu_idx = srcu_read_lock(&wl->srcu); in add_virtual_intf() 1502 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf() 1508 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf() 1516 srcu_read_unlock(&wl->srcu, srcu_idx); in add_virtual_intf() 1521 srcu_read_unlock(&wl->srcu, srcu_id in add_virtual_intf() [all...] |
/kernel/linux/linux-5.10/arch/powerpc/kvm/ |
H A D | book3s_hv_uvmem.c | 49 * 1. kvm->srcu - Protects KVM memslots 478 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_start() 497 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_start() 667 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_abort() 672 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_abort() 835 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_done() 858 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_done() 883 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_share_page() 920 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_share_page() 953 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_page_in() [all...] |
/kernel/linux/linux-6.6/arch/powerpc/kvm/ |
H A D | book3s_hv_uvmem.c | 49 * 1. kvm->srcu - Protects KVM memslots 485 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_start() 504 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_start() 674 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_abort() 679 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_abort() 841 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_done() 864 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_done() 889 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_share_page() 926 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_share_page() 959 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_page_in() [all...] |
/kernel/linux/linux-6.6/arch/arm64/include/asm/ |
H A D | kvm_mmu.h | 250 * We are not in the kvm->srcu critical section most of the time, so we take 257 int srcu_idx = srcu_read_lock(&kvm->srcu); 260 srcu_read_unlock(&kvm->srcu, srcu_idx); 268 int srcu_idx = srcu_read_lock(&kvm->srcu); 271 srcu_read_unlock(&kvm->srcu, srcu_idx);
|
/kernel/linux/linux-5.10/drivers/gpu/drm/i915/gt/ |
H A D | intel_reset.h | 12 #include <linux/srcu.h> 40 int __must_check intel_gt_reset_trylock(struct intel_gt *gt, int *srcu);
|
/kernel/linux/linux-6.6/drivers/nvme/host/ |
H A D | multipath.c | 212 srcu_idx = srcu_read_lock(&head->srcu); in nvme_mpath_revalidate_paths() 217 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_mpath_revalidate_paths() 343 ns = srcu_dereference(head->current_path[node], &head->srcu); in nvme_find_path() 390 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_submit_bio() 410 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_submit_bio() 433 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_report_zones() 437 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_report_zones() 594 srcu_idx = srcu_read_lock(&head->srcu); in nvme_mpath_set_live() 597 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_mpath_set_live() 601 synchronize_srcu(&head->srcu); in nvme_mpath_set_live() [all...] |
/kernel/linux/linux-6.6/arch/x86/kernel/cpu/sgx/ |
H A D | encl.c | 759 cleanup_srcu_struct(&encl->srcu); in sgx_encl_release() 795 synchronize_srcu(&encl_mm->encl->srcu); in sgx_mmu_notifier_release() 822 idx = srcu_read_lock(&encl->srcu); in sgx_encl_find_mm() 831 srcu_read_unlock(&encl->srcu, idx); in sgx_encl_find_mm() 933 idx = srcu_read_lock(&encl->srcu); in sgx_encl_cpumask() 944 srcu_read_unlock(&encl->srcu, idx); in sgx_encl_cpumask() 1018 idx = srcu_read_lock(&encl->srcu); in sgx_encl_get_mem_cgroup() 1031 srcu_read_unlock(&encl->srcu, idx); in sgx_encl_get_mem_cgroup() 1212 idx = srcu_read_lock(&encl->srcu); in sgx_zap_enclave_ptes() 1229 srcu_read_unlock(&encl->srcu, id in sgx_zap_enclave_ptes() [all...] |
/kernel/linux/linux-5.10/drivers/pci/controller/ |
H A D | vmd.c | 14 #include <linux/srcu.h> 83 * @srcu: SRCU struct for local synchronization. 89 struct srcu_struct srcu; member 258 synchronize_srcu(&vmdirq->irq->srcu); in vmd_msi_free() 536 idx = srcu_read_lock(&irqs->srcu); in vmd_irq() 539 srcu_read_unlock(&irqs->srcu, idx); in vmd_irq() 564 err = init_srcu_struct(&vmd->irqs[i].srcu); in vmd_alloc_irqs() 766 cleanup_srcu_struct(&vmd->irqs[i].srcu); in vmd_cleanup_srcu()
|
/kernel/linux/linux-5.10/kernel/ |
H A D | notifier.c | 476 synchronize_srcu(&nh->srcu); in srcu_notifier_chain_unregister() 503 idx = srcu_read_lock(&nh->srcu); in srcu_notifier_call_chain() 505 srcu_read_unlock(&nh->srcu, idx); in srcu_notifier_call_chain() 512 * @nh: Pointer to head of the srcu notifier chain 525 if (init_srcu_struct(&nh->srcu) < 0) in srcu_init_notifier_head()
|
/kernel/linux/linux-6.6/kernel/ |
H A D | notifier.c | 526 synchronize_srcu(&nh->srcu); in srcu_notifier_chain_unregister() 553 idx = srcu_read_lock(&nh->srcu); in srcu_notifier_call_chain() 555 srcu_read_unlock(&nh->srcu, idx); in srcu_notifier_call_chain() 562 * @nh: Pointer to head of the srcu notifier chain 575 if (init_srcu_struct(&nh->srcu) < 0) in srcu_init_notifier_head()
|