DO_TESTCASE_6    2001 lib/locking-selftest.c 	DO_TESTCASE_6("double unlock", double_unlock);
DO_TESTCASE_6    2002 lib/locking-selftest.c 	DO_TESTCASE_6("initialize held", init_held);