Automation testing tools.

kern/include/lib.h

@@ -200,9 +200,10 @@ void random_spinner(uint32_t);
 /*
  * Testing variants of kprintf. tprintf is silent during automated testing.
  * sprintf prefixes the kernel secret to kprintf messages during automated
- * testing.
+ * testing. nprintf is not silent during automated testing.
  */
 
 int tkprintf(const char *format, ...) __PF(1,2);
+int nkprintf(const char *format, ...) __PF(1,2);
 
 #endif /* _LIB_H_ */

kern/include/test.h

@@ -31,6 +31,7 @@
 #define _TEST_H_
 
 #include "opt-synchprobs.h"
+#include "opt-automationtest.h"
 
 /*
  * Declarations for test code and other miscellaneous high-level
@@ -127,4 +128,14 @@ int stoplight(int, char **);
 
 #endif
 
+/*
+ * Automation tests for detecting kernel deadlocks and livelocks.
+ */
+
+#if OPT_AUTOMATIONTEST
+int dltest(int, char **);
+int ll1test(int, char **);
+int ll16test(int, char **);
+#endif
+
 #endif /* _TEST_H_ */