<feed xmlns='http://www.w3.org/2005/Atom'>
<title>linux/kernel/rwsem.c, branch v2.6.20</title>
<subtitle>Mirror of https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/
</subtitle>
<id>https://git.shady.money/linux/atom?h=v2.6.20</id>
<link rel='self' href='https://git.shady.money/linux/atom?h=v2.6.20'/>
<link rel='alternate' type='text/html' href='https://git.shady.money/linux/'/>
<updated>2006-07-03T22:27:04Z</updated>
<entry>
<title>[PATCH] lockdep: prove rwsem locking correctness</title>
<updated>2006-07-03T22:27:04Z</updated>
<author>
<name>Ingo Molnar</name>
<email>mingo@elte.hu</email>
</author>
<published>2006-07-03T07:24:53Z</published>
<link rel='alternate' type='text/html' href='https://git.shady.money/linux/commit/?id=4ea2176dfa714882e88180b474e4cbcd888b70af'/>
<id>urn:sha1:4ea2176dfa714882e88180b474e4cbcd888b70af</id>
<content type='text'>
Use the lock validator framework to prove rwsem locking correctness.

Signed-off-by: Ingo Molnar &lt;mingo@elte.hu&gt;
Signed-off-by: Arjan van de Ven &lt;arjan@linux.intel.com&gt;
Signed-off-by: Andrew Morton &lt;akpm@osdl.org&gt;
Signed-off-by: Linus Torvalds &lt;torvalds@osdl.org&gt;
</content>
</entry>
<entry>
<title>[PATCH] lockdep: clean up rwsems</title>
<updated>2006-07-03T22:27:01Z</updated>
<author>
<name>Ingo Molnar</name>
<email>mingo@elte.hu</email>
</author>
<published>2006-07-03T07:24:29Z</published>
<link rel='alternate' type='text/html' href='https://git.shady.money/linux/commit/?id=c4e05116a2c4d8187127dbf77ab790aa57a47388'/>
<id>urn:sha1:c4e05116a2c4d8187127dbf77ab790aa57a47388</id>
<content type='text'>
Clean up rwsems.

Signed-off-by: Ingo Molnar &lt;mingo@elte.hu&gt;
Signed-off-by: Andrew Morton &lt;akpm@osdl.org&gt;
Signed-off-by: Linus Torvalds &lt;torvalds@osdl.org&gt;
</content>
</entry>
</feed>
