Home
last modified time | relevance | path

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

/linux-6.1.9/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-6.1.9/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.1.9/drivers/platform/mellanox/
DKconfig91 ports in a compact 1RU form factor. The system also including a
/linux-6.1.9/fs/nls/
DKconfig448 tristate "NLS KOI8-U/RU (Ukrainian, Belarusian)"