Lines Matching refs:be

14 In addition, the "klitmus7" tool (also externally provided) may be used
16 that litmus test to be exercised within the Linux kernel.
23 Version 7.52 or higher of the "herd7" and "klitmus7" tools must be
62 this litmus test's "exists" clause can not be satisfied.
72 which may then be loaded and run.
190 	this limitation can be overcome by modeling the interrupt or
212 		atomic_dec_unless_positive().  These can be emulated
215 	c.	The call_rcu() function is not modeled.  It can be
222 	d.	The rcu_barrier() function is not modeled.  It can be
247 		This difference would be more of a concern had anyone
252 	f.	Reader-writer locking is not modeled.  It can be
261 	linked lists to be constructed.
264 	be worked around in some cases by supplying multiple statically
267 Some of these limitations may be overcome in the future, but others are
268 more likely to be addressed by incorporating the Linux-kernel memory model