| /linux/tools/memory-model/litmus-tests/ |
| H A D | MP+polockmbonce+poacquiresilsil.litmus | 7 * to outside observers using spin_is_locked() to sense the lock-held
8 * state, ordered by acquire? Note that when the first spin_is_locked()
30 r2 = spin_is_locked(lo);
31 r3 = spin_is_locked(lo);
|
| H A D | MP+polockonce+poacquiresilsil.litmus | 6 * Do spinlocks provide order to outside observers using spin_is_locked()
8 * first spin_is_locked() returns false and the second true, we know that
29 r2 = spin_is_locked(lo);
30 r3 = spin_is_locked(lo);
|
| H A D | README | 76 spin_is_locked() calls in the other process.
80 acquire load followed by a pair of spin_is_locked() calls
|
| /linux/include/linux/ |
| H A D | spinlock_rt.h | 146 static inline int spin_is_locked(spinlock_t *lock) in spin_is_locked() function
151 #define assert_spin_locked(lock) BUG_ON(!spin_is_locked(lock))
|
| H A D | spinlock.h | 442 static __always_inline int spin_is_locked(spinlock_t *lock) in spin_is_locked() function
|
| /linux/tools/memory-model/scripts/ |
| H A D | simpletest.sh | 25 exclude="${exclude}spin_lock(\|spin_unlock(\|spin_trylock(\|spin_is_locked("
|
| /linux/tools/memory-model/ |
| H A D | lock.cat | 22 * RL Read-Locked: a spin_is_locked() event which returns True
23 * RU Read-Unlocked: a spin_is_locked() event which returns False
58 * In the same way, spin_is_locked() inside a critical section must always
|
| H A D | linux-kernel.def | 44 spin_is_locked(X) __islocked(X)
|
| /linux/arch/powerpc/include/asm/ |
| H A D | kvm_book3s_64.h | 654 VM_WARN(!spin_is_locked(&kvm->mmu_lock), in find_kvm_secondary_pte()
666 VM_WARN(!spin_is_locked(&kvm->mmu_lock), in find_kvm_host_pte()
|
| /linux/drivers/net/ethernet/sfc/ |
| H A D | tc_counters.c | 43 EFX_WARN_ON_PARANOID(spin_is_locked(&cnt->lock)); in efx_tc_counter_free()
193 EFX_WARN_ON_PARANOID(spin_is_locked(&cnt->lock)); in efx_tc_flower_release_counter()
|
| /linux/drivers/s390/char/ |
| H A D | sclp_con.c | 234 if (spin_is_locked(&sclp_con_lock)) in sclp_console_notify()
|
| H A D | sclp_vt220.c | 795 if (spin_is_locked(&sclp_vt220_lock)) in sclp_vt220_notify()
|
| H A D | raw3270.c | 890 if (spin_is_locked(get_ccwdev_lock(rp->cdev))) in raw3270_view_lock_unavailable()
|
| /linux/tools/memory-model/Documentation/ |
| H A D | herd-representation.txt | 50 | spin_is_locked | On success: RL |
|
| /linux/kernel/cgroup/ |
| H A D | dmem.c | 204 list_for_each_entry_rcu(pool, &dmemcs->pools, css_node, spin_is_locked(&dmemcg_lock)) in find_cg_pool_locked()
504 list_for_each_entry_rcu(region, &dmem_cgroup_regions, region_node, spin_is_locked(&dmemcg_lock)) in dmemcg_get_region_by_name()
|
| /linux/fs/ |
| H A D | userfaultfd.c | 168 VM_WARN_ON_ONCE(spin_is_locked(&ctx->fault_pending_wqh.lock)); in userfaultfd_ctx_put()
170 VM_WARN_ON_ONCE(spin_is_locked(&ctx->fault_wqh.lock)); in userfaultfd_ctx_put()
172 VM_WARN_ON_ONCE(spin_is_locked(&ctx->event_wqh.lock)); in userfaultfd_ctx_put()
174 VM_WARN_ON_ONCE(spin_is_locked(&ctx->fd_wqh.lock)); in userfaultfd_ctx_put()
|
| /linux/drivers/hv/ |
| H A D | ring_buffer.c | 271 return spin_is_locked(&rinfo->ring_lock); in hv_ringbuffer_spinlock_busy()
|
| /linux/drivers/firmware/google/ |
| H A D | gsmi.c | 691 if (spin_is_locked(&gsmi_dev.lock)) in gsmi_panic_callback()
|
| /linux/include/net/ |
| H A D | sch_generic.h | 170 return spin_is_locked(&qdisc->seqlock); in qdisc_is_running()
|
| H A D | sock.h | 1803 !spin_is_locked(&sk->sk_lock.slock); in sock_allow_reclassification()
|
| /linux/arch/parisc/kernel/ |
| H A D | firmware.c | 211 if (spin_is_locked(&pdc_lock)) in pdc_emergency_unlock()
|
| /linux/fs/ocfs2/ |
| H A D | inode.c | 1252 mlog_bug_on_msg(spin_is_locked(&oi->ip_lock), in ocfs2_clear_inode()
|
| /linux/arch/powerpc/kvm/ |
| H A D | book3s_hv_nested.c | 909 VM_WARN(!spin_is_locked(&kvm->mmu_lock), in find_kvm_nested_guest_pte()
|
| /linux/Documentation/scsi/ |
| H A D | ChangeLog.megaraid | 249 BUG_ON(!spin_is_locked(&some_lock));
|
| /linux/ipc/ |
| H A D | sem.c | 1874 spin_is_locked(&ulp->lock)) { in __lookup_undo()
|