Home
last modified time | relevance | path

Searched refs:xchg_acquire (Results 1 – 8 of 8) sorted by relevance

/linux/tools/memory-model/Documentation/
H A Dlitmus-tests.txt504 locking using xchg_acquire(), but instead of enclosing xchg_acquire()
522 11 r2 = xchg_acquire(sl, 1);
533 22 r2 = xchg_acquire(sl, 1);
550 on line 11 using xchg_acquire(), which unconditionally stores the value
559 The case where xchg_acquire() fails to acquire the lock is handled by
583 The "Never" on line 9 indicates that this use of xchg_acquire() and
595 possible durations of the xchg_acquire() statements.
633 12 r2 = xchg_acquire(sl, 1);
646 25 r2 = xchg_acquire(sl, 1);
H A Dexplanation.txt2033 r = xchg_acquire(&s, 1);
/linux/tools/memory-model/
H A Dlinux-kernel.def34 xchg_acquire(X,V) __xchg{acquire}(X,V)
/linux/kernel/locking/
H A Drtmutex.c110 xchg_acquire(&lock->owner, rt_mutex_owner_encode(lock, owner)); in rt_mutex_set_owner()
203 xchg_acquire(p, owner & ~RT_MUTEX_HAS_WAITERS); in fixup_rt_mutex_waiters()
/linux/arch/riscv/kvm/
H A Daia.c78 mask = xchg_acquire(&vcpu->arch.irqs_pending_mask[1], 0); in kvm_riscv_vcpu_aia_flush_interrupts()
H A Dvcpu.c342 mask = xchg_acquire(&vcpu->arch.irqs_pending_mask[0], 0); in kvm_riscv_vcpu_flush_interrupts()
/linux/drivers/xen/events/
H A Devents_base.c1682 if (xchg_acquire(&info->is_active, 1)) in handle_irq_for_port()
/linux/include/linux/atomic/
H A Datomic-instrumented.h4761 #define xchg_acquire(ptr, ...) \ macro