Index: Makefile
===================================================================
--- Makefile	(revision 20c7c409c4e0f6659393f1e3894d868d27facc21)
+++ Makefile	(revision 8359969499e019e2052b3edc4bfc5e9bb3063e99)
@@ -43,5 +43,5 @@
 	$(MAKE) -C kernel clean
 	$(MAKE) -C kernel EXTRA_TOOL=stanse
-	$(STANSE) --checker ReachabilityChecker --jobfile kernel/kernel.job
+	$(STANSE) --checker ReachabilityChecker --checker ThreadChecker:contrib/$(STANSE)/ThreadChecker.xml --jobfile kernel/kernel.job
 
 cscope:
Index: contrib/stanse/ThreadChecker.xml
===================================================================
--- contrib/stanse/ThreadChecker.xml	(revision 8359969499e019e2052b3edc4bfc5e9bb3063e99)
+++ contrib/stanse/ThreadChecker.xml	(revision 8359969499e019e2052b3edc4bfc5e9bb3063e99)
@@ -0,0 +1,52 @@
+<?xml version="1.0" encoding="UTF-8" ?>
+<!--
+
+ Copyright (c) 2009 Martin Decky
+ All rights reserved.
+
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions
+ are met:
+
+ - Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+ - Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+ - The name of the author may not be used to endorse or promote products
+   derived from this software without specific prior written permission.
+
+ THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
+ IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+ OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
+ INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+ NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+ THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+-->
+
+<threadChecker>
+	<analyseType type="local" />
+	<patterns>
+		<pattern name="lockFunction">
+			<nested>
+				<functionCall>
+					<id>_mutex_lock_timeout</id>
+					<var name="mtx" />
+				</functionCall>
+			</nested>
+		</pattern>
+		<pattern name="unlockFunction">
+			<nested>
+				<functionCall>
+					<id>mutex_unlock</id>
+					<var name="mtx" />
+				</functionCall>
+			</nested>
+		</pattern>
+	</patterns>
+</threadChecker>