Searched refs:xchg_acquire (Results 1 – 6 of 6) sorted by relevance
| /linux/tools/memory-model/Documentation/ |
| A D | litmus-tests.txt | 504 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);
|
| A D | explanation.txt | 1795 r = xchg_acquire(&s, 1);
|
| /linux/tools/memory-model/ |
| A D | linux-kernel.def | 33 xchg_acquire(X,V) __xchg{acquire}(X,V)
|
| /linux/arch/riscv/kvm/ |
| A D | vcpu.c | 473 mask = xchg_acquire(&vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_vcpu_flush_interrupts()
|
| /linux/drivers/xen/events/ |
| A D | events_base.c | 1695 if (xchg_acquire(&info->is_active, 1)) in handle_irq_for_port()
|
| /linux/include/linux/atomic/ |
| A D | atomic-instrumented.h | 1765 #define xchg_acquire(ptr, ...) \ macro
|
Completed in 18 milliseconds