Home
last modified time | relevance | path

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

/Linux-v4.19/tools/memory-model/
Dlock.cat26 * RU Read-Unlocked: a spin_is_locked() event which returns False
30 * LKR, LF, RL, and RU are read events; LKR has Acquire ordering.
32 * LKW, LF, RL, and RU have no ordering properties.
37 let RU = try RU with emptyset
43 let ALL-LOCKS = LKR | LKW | UL | LF | RU
67 let R = R | LKR | LF | RU
103 * RU, i.e., spin_is_locked() returning False, is slightly different.
108 (* rfi for RU events: an RU may read from the last po-previous UL *)
109 let rfi-ru = ([UL] ; po-loc ; [RU]) \ ([UL] ; po-loc ; [LKW] ; po-loc)
111 (* rfe for RU events: an RU may read from an external UL or the initial write *)
[all …]
/Linux-v4.19/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-v4.19/fs/nls/
DKconfig447 tristate "NLS KOI8-U/RU (Ukrainian, Belarusian)"