tbridge_testcase
tbridge_register(struct tbridge_testcase *test)
struct tbridge_testcase *tcase = (struct tbridge_testcase *)arg;
KKASSERT(tbridge_testcase != NULL);
testcase_get_name(tbridge_testcase), result);
testcase_set_result(tbridge_testcase, result);
testcase_set_stdout_buf(tbridge_testcase, tbridge_msgbuf);
if (tbridge_testcase != NULL) {
prop_object_release(tbridge_testcase);
tbridge_testcase = NULL;
&tbridge_testcase);
hz * testcase_get_timeout(tbridge_testcase));
testcase_set_result(tbridge_testcase, RESULT_SIGNALLED);
tbridge_testcase);
tbridge_testcase = NULL;
static struct tbridge_testcase *tbridge_curtest = NULL;
static prop_dictionary_t tbridge_testcase = NULL;
static struct tbridge_testcase testk1_case = {
static struct tbridge_testcase testk1_case = {