| /OK3568_Linux_fs/kernel/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)
|
| H A D | .gitignore | 2 srcu.c
|
| /OK3568_Linux_fs/kernel/mm/ |
| H A D | mmu_notifier.c | 23 DEFINE_STATIC_SRCU(srcu);
315 id = srcu_read_lock(&srcu); in mn_hlist_release()
317 srcu_read_lock_held(&srcu)) in mn_hlist_release()
340 srcu_read_unlock(&srcu, id); in mn_hlist_release()
351 synchronize_srcu(&srcu); in mn_hlist_release()
378 id = srcu_read_lock(&srcu); in __mmu_notifier_clear_flush_young()
381 srcu_read_lock_held(&srcu)) { in __mmu_notifier_clear_flush_young()
386 srcu_read_unlock(&srcu, id); in __mmu_notifier_clear_flush_young()
398 id = srcu_read_lock(&srcu); in __mmu_notifier_clear_young()
401 srcu_read_lock_held(&srcu)) { in __mmu_notifier_clear_young()
[all …]
|
| /OK3568_Linux_fs/kernel/tools/memory-model/ |
| H 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
|
| H 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) |
|
| H 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); }
|
| /OK3568_Linux_fs/kernel/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 = (unsigned char __user *)*rm; in handle_unaligned_ins()
[all …]
|
| /OK3568_Linux_fs/kernel/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()
711 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_mac_xmit()
716 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_mac_xmit()
797 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_wfi_mgmt_rx()
809 srcu_read_unlock(&wilc->srcu, srcu_idx); in wilc_wfi_mgmt_rx()
834 srcu_idx = srcu_read_lock(&wilc->srcu); in wilc_netdev_cleanup()
839 srcu_read_unlock(&wilc->srcu, srcu_idx); 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_idx); in add_virtual_intf()
[all …]
|
| /OK3568_Linux_fs/kernel/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()
|
| /OK3568_Linux_fs/kernel/include/linux/ |
| H A D | notifier.h | 76 struct srcu_struct srcu; member
95 cleanup_srcu_struct(&(name)->srcu);
110 .srcu = __SRCU_STRUCT_INIT(name.srcu, pcpu), \
|
| /OK3568_Linux_fs/kernel/arch/powerpc/kvm/ |
| H A D | book3s_hv_uvmem.c | 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()
664 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_abort()
669 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_abort()
832 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_init_done()
855 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_init_done()
880 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_share_page()
917 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_share_page()
950 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_h_svm_page_in()
977 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_h_svm_page_in()
[all …]
|
| H A D | book3s_hv_nested.c | 241 vcpu->srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmhv_enter_nested_guest()
246 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->srcu_idx); in kvmhv_enter_nested_guest()
348 vcpu->srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmhv_enter_nested_guest()
353 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->srcu_idx); in kvmhv_enter_nested_guest()
471 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmhv_set_partition_table()
479 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmhv_set_partition_table()
533 vcpu->srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmhv_copy_tofrom_guest_nested()
535 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->srcu_idx); in kvmhv_copy_tofrom_guest_nested()
540 vcpu->srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmhv_copy_tofrom_guest_nested()
542 srcu_read_unlock(&vcpu->kvm->srcu, vcpu->srcu_idx); in kvmhv_copy_tofrom_guest_nested()
[all …]
|
| H A D | book3s_64_mmu_hv.c | 432 idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmppc_hv_emulate_mmio()
435 srcu_read_unlock(&vcpu->kvm->srcu, idx); in kvmppc_hv_emulate_mmio()
738 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_rmap_reset()
751 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_rmap_reset()
1168 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_pin_guest_page()
1177 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_pin_guest_page()
1185 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_pin_guest_page()
1204 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_unpin_guest_page()
1208 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_unpin_guest_page()
1279 int srcu_idx = srcu_read_lock(&kvm->srcu); in resize_hpt_rehash_hpte()
[all …]
|
| H A D | book3s_xive_native.c | 644 srcu_idx = srcu_read_lock(&kvm->srcu); in kvmppc_xive_native_set_queue_config()
649 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_xive_native_set_queue_config()
656 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_xive_native_set_queue_config()
662 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvmppc_xive_native_set_queue_config()
905 srcu_idx = srcu_read_lock(&vcpu->kvm->srcu); in kvmppc_xive_native_vcpu_eq_sync()
907 srcu_read_unlock(&vcpu->kvm->srcu, srcu_idx); in kvmppc_xive_native_vcpu_eq_sync()
|
| /OK3568_Linux_fs/kernel/arch/arm64/include/asm/ |
| H A D | kvm_mmu.h | 237 int srcu_idx = srcu_read_lock(&kvm->srcu); in kvm_read_guest_lock()
240 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvm_read_guest_lock()
248 int srcu_idx = srcu_read_lock(&kvm->srcu); in kvm_write_guest_lock()
251 srcu_read_unlock(&kvm->srcu, srcu_idx); in kvm_write_guest_lock()
|
| /OK3568_Linux_fs/kernel/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()
525 if (init_srcu_struct(&nh->srcu) < 0) in srcu_init_notifier_head()
|
| /OK3568_Linux_fs/kernel/drivers/pci/controller/ |
| H A D | vmd.c | 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()
|
| /OK3568_Linux_fs/kernel/drivers/nvme/host/ |
| H A D | multipath.c | 265 ns = srcu_dereference(head->current_path[node], &head->srcu); in nvme_find_path()
309 srcu_idx = srcu_read_lock(&head->srcu); in nvme_ns_head_submit_bio()
331 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_ns_head_submit_bio()
421 srcu_idx = srcu_read_lock(&head->srcu); in nvme_mpath_set_live()
424 srcu_read_unlock(&head->srcu, srcu_idx); in nvme_mpath_set_live()
428 synchronize_srcu(&head->srcu); in nvme_mpath_set_live()
|
| /OK3568_Linux_fs/kernel/virt/kvm/ |
| H A D | kvm_main.c | 457 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_invalidate_range()
459 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_invalidate_range()
470 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_change_pte()
478 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_change_pte()
487 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_invalidate_range_start()
503 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_invalidate_range_start()
540 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_clear_flush_young()
548 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_clear_flush_young()
561 idx = srcu_read_lock(&kvm->srcu); in kvm_mmu_notifier_clear_young()
578 srcu_read_unlock(&kvm->srcu, idx); in kvm_mmu_notifier_clear_young()
[all …]
|
| /OK3568_Linux_fs/kernel/tools/testing/selftests/rcutorture/configs/rcu/ |
| H A D | SRCU-N.boot | 1 rcutorture.torture_type=srcu
|
| H A D | SRCU-t.boot | 1 rcutorture.torture_type=srcu
|
| /OK3568_Linux_fs/kernel/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/ |
| H A D | .gitignore | 2 srcu.h
|
| /OK3568_Linux_fs/kernel/arch/x86/kvm/ |
| H A D | pmu.c | 200 filter = srcu_dereference(kvm->arch.pmu_event_filter, &kvm->srcu); in reprogram_gp_counter()
253 filter = srcu_dereference(kvm->arch.pmu_event_filter, &kvm->srcu); in reprogram_fixed_counter()
527 synchronize_srcu_expedited(&kvm->srcu); in kvm_vm_ioctl_set_pmu_event_filter()
|
| /OK3568_Linux_fs/kernel/Documentation/virt/kvm/ |
| H A D | locking.rst | 221 :Name: kvm->srcu
222 :Type: srcu lock
226 :Comment: The srcu read lock must be held while accessing memslots (e.g.
229 The srcu index can be stored in kvm_vcpu->srcu_idx per vcpu
|