Home
last modified time | relevance | path

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

/Linux-v5.4/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
64 let R = R | LKR | LF | RU
100 * RU, i.e., spin_is_locked() returning False, is slightly different.
105 (* rfi for RU events: an RU may read from the last po-previous UL *)
106 let rfi-ru = ([UL] ; po-loc ; [RU]) \ ([UL] ; po-loc ; [LKW] ; po-loc)
108 (* rfe for RU events: an RU may read from an external UL or the initial write *)
[all …]
Dlinux-kernel.bell83 LKR | LKW | UL | LF | RL | RU
/Linux-v5.4/lib/
Dlocking-selftest-rlock.h6 #define UNLOCK RU
Dlocking-selftest.c222 #define RU(x) read_unlock(&rwlock_##x) macro
223 #define RLU(x) RL(x); RU(x)
377 RU(X1); in rlock_ABBA1()
409 RU(X1); in rlock_ABBA2()
413 RU(X1); in rlock_ABBA2()
965 RU(A); \
1007 RU(A); \
1015 RU(A); \
1047 RU(A); \
/Linux-v5.4/fs/nls/
DKconfig448 tristate "NLS KOI8-U/RU (Ukrainian, Belarusian)"