Home
last modified time | relevance | path

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

/linux/tools/memory-model/
H A Dlinux-kernel.cfg2 bell linux-kernel.bell
H A DREADME168 linux-kernel.bell
/linux/tools/memory-model/litmus-tests/
H A DREADME247 $ norm7 -bell linux-kernel.bell \
256 tool (Rfi, Po, Fre, and so on) or by the linux-kernel.bell file (Once,
261 $ diyone7 -bell linux-kernel.bell -show edges
/linux/arch/mips/include/asm/octeon/
H A Dcvmx-sriox-defs.h174 uint64_t bell:2; member
206 uint64_t bell:2;
218 uint64_t bell:2; member
250 uint64_t bell:2;
261 uint64_t bell:2; member
291 uint64_t bell:2;
/linux/Documentation/kbuild/
H A DKconfig.recursion-issue-0231 # due to the disjoint use of semantics on expressing each bell's relationship
/linux/Documentation/filesystems/
H A D9p.rst274 http://plan9.bell-labs.com/plan9
/linux/tools/memory-model/Documentation/
H A Dexplanation.txt43 linux-kernel.bell and linux-kernel.cat files that make up the formal
49 not go into the details of the code in the .bell and .cat files;