/linux/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/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/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 | 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) |
|
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/arch/sh/kernel/ |
A D | traps_32.c | 91 unsigned char __user *srcu, *dstu; in handle_unaligned_ins() local 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() 169 if (ma->from(dst, srcu, 4)) in handle_unaligned_ins() 184 if (ma->from(dst, srcu, count)) in handle_unaligned_ins() 214 if (ma->from(dst, srcu, 2)) in handle_unaligned_ins() 224 srcu += 4; in handle_unaligned_ins() 233 if (ma->from(dst, srcu, 2)) in handle_unaligned_ins() 241 srcu += 4; in handle_unaligned_ins() [all …]
|
/linux/drivers/net/wireless/microchip/wilc1000/ |
A D | netdev.c | 133 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_wlan_get_num_conn_ifcs() 138 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_wlan_get_num_conn_ifcs() 165 srcu_idx = srcu_read_lock(&wl->srcu); in wilc_txq_task() 171 srcu_read_unlock(&wl->srcu, srcu_idx); in wilc_txq_task() 654 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_set_mac_addr() 842 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_wfi_mgmt_rx() 880 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_netdev_cleanup() 902 synchronize_srcu(&wilc->srcu); in wilc_netdev_cleanup() 920 srcu_idx = srcu_read_lock(&wl->srcu); in wilc_get_available_idx() 927 srcu_read_unlock(&wl->srcu, srcu_idx); in wilc_get_available_idx() [all …]
|
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() 799 srcu_idx = srcu_read_lock(&wl->srcu); in set_wiphy_params() 854 srcu_read_unlock(&wl->srcu, srcu_idx); in set_wiphy_params() 1479 srcu_idx = srcu_read_lock(&wl->srcu); in add_virtual_intf() 1552 synchronize_srcu(&wl->srcu); in del_virtual_intf() 1579 srcu_idx = srcu_read_lock(&wl->srcu); in wilc_set_wakeup() 1603 srcu_idx = srcu_read_lock(&wl->srcu); in set_tx_power() 1699 init_srcu_struct(&wl->srcu); in wlan_init_locks() [all …]
|
/linux/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/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/arch/powerpc/kvm/ |
A 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 …]
|
A 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() 650 int srcu_idx = srcu_read_lock(&kvm->srcu); in kvmhv_update_ptbl_cache() 653 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmhv_update_ptbl_cache() 772 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmhv_release_all_nested() [all …]
|
A 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() 1267 srcu_read_unlock(&kvm->srcu, srcu_idx); in resize_hpt_rehash_hpte() [all …]
|
/linux/arch/arm64/include/asm/ |
A 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/arch/riscv/kvm/ |
A D | vcpu.c | 687 vcpu->arch.srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvm_arch_vcpu_ioctl_run() 693 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->arch.srcu_idx); in kvm_arch_vcpu_ioctl_run() 702 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->arch.srcu_idx); in kvm_arch_vcpu_ioctl_run() 708 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->arch.srcu_idx); in kvm_arch_vcpu_ioctl_run() 747 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->arch.srcu_idx); in kvm_arch_vcpu_ioctl_run() 765 vcpu->arch.srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvm_arch_vcpu_ioctl_run() 813 vcpu->arch.srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvm_arch_vcpu_ioctl_run() 822 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->arch.srcu_idx); in kvm_arch_vcpu_ioctl_run()
|
/linux/kernel/ |
A 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/arch/x86/kernel/cpu/sgx/ |
A D | main.c | 90 idx = srcu_read_lock(&encl->srcu); in sgx_reclaimer_age() 106 srcu_read_unlock(&encl->srcu, idx); in sgx_reclaimer_age() 130 idx = srcu_read_lock(&encl->srcu); in sgx_reclaimer_block() 147 srcu_read_unlock(&encl->srcu, idx); in sgx_reclaimer_block() 198 idx = srcu_read_lock(&encl->srcu); in sgx_encl_ewb_cpumask() 209 srcu_read_unlock(&encl->srcu, idx); in sgx_encl_ewb_cpumask()
|
A D | driver.c | 33 ret = init_srcu_struct(&encl->srcu); in sgx_open() 72 synchronize_srcu(&encl->srcu); in sgx_release()
|
/linux/drivers/nvme/host/ |
A 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()
|
A D | multipath.c | 291 ns = srcu_dereference(head->current_path[node], &head->srcu); in nvme_find_path() 336 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_submit_bio() 357 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_submit_bio() 380 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_report_zones() 384 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_report_zones() 535 srcu_idx = srcu_read_lock(&head->srcu); in nvme_mpath_set_live() 538 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_mpath_set_live() 542 synchronize_srcu(&head->srcu); in nvme_mpath_set_live()
|
/linux/Documentation/virt/kvm/ |
A 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
|
/linux/drivers/pci/controller/ |
A D | vmd.c | 105 struct srcu_struct srcu; member 278 synchronize_srcu(&vmdirq->irq->srcu); in vmd_msi_free() 621 idx = srcu_read_lock(&irqs->srcu); in vmd_irq() 624 srcu_read_unlock(&irqs->srcu, idx); in vmd_irq() 649 err = init_srcu_struct(&vmd->irqs[i].srcu); in vmd_alloc_irqs() 892 cleanup_srcu_struct(&vmd->irqs[i].srcu); in vmd_cleanup_srcu()
|
/linux/tools/testing/selftests/rcutorture/configs/rcu/ |
A D | SRCU-N.boot | 1 rcutorture.torture_type=srcu
|
A D | SRCU-T.boot | 1 rcutorture.torture_type=srcu
|