Home
last modified time | relevance | path

Searched refs:RU (Results 1 – 7 of 7) sorted by relevance

/linux-6.12.1/tools/memory-model/
Dlock.cat23 * RU Read-Unlocked: a spin_is_locked() event which returns False
27 * LKR, LF, RL, and RU are read events; LKR has Acquire ordering.
29 * LKW, LF, RL, and RU have no ordering properties.
34 let RU = try RU with emptyset
40 let ALL-LOCKS = LKR | LKW | UL | LF | RU | Srcu-lock | Srcu-unlock | Sync-srcu
59 * return True (no RU events can be in a critical section for the same lock).
61 empty ([LKW] ; po-loc ; [RU]) \ (po-loc ; [UL] ; po-loc) as nested-is-locked
70 let R = R | LKR | LF | RU
114 * A given RU event e may read internally from the last po-previous UL,
122 (* Compute set of sets of possible rf edges for RU events *)
[all …]
Dlinux-kernel.bell77 LKR | LKW | UL | LF | RL | RU | Srcu-lock | Srcu-unlock
/linux-6.12.1/lib/
Dlocking-selftest.c239 #define RU(x) read_unlock(&rwlock_##x) macro
240 #define RLU(x) RL(x); RU(x)
394 RU(X1); in rlock_ABBA1()
445 RU(X1); in rlock_chaincache_ABBA1()
449 RU(X1); in rlock_chaincache_ABBA1()
469 RU(X1); in rlock_ABBA2()
473 RU(X1); in rlock_ABBA2()
1042 RU(A); \
1080 RU(Y1); \
1087 RU(Z1); \
[all …]
Dlocking-selftest-rlock.h6 #define UNLOCK RU
/linux-6.12.1/tools/memory-model/Documentation/
Dherd-representation.txt11 # RU, a Read-Unlocked event
46 | | On failure: RU |
/linux-6.12.1/drivers/platform/mellanox/
DKconfig91 ports in a compact 1RU form factor. The system also including a
/linux-6.12.1/fs/nls/
DKconfig448 tristate "NLS KOI8-U/RU (Ukrainian, Belarusian)"