47 tp_block(tp_id_t testpoint)  in tp_block()  argument
49 	tp_blocked_info[testpoint] = 1;  in tp_block()
61 tp_wait(tp_id_t testpoint)  in tp_wait()  argument
64 	while ((tp_blocked_info[testpoint]) && wr <= 0) {  in tp_wait()
68 		printf("tp_block(%hu) wait interrupted with error %d\n", testpoint, wr);  in tp_wait()
73 tp_relay(tp_id_t testpoint, tp_id_t other_testpoint)  in tp_relay()  argument
76 	tp_block(testpoint);  in tp_relay()
77 	tp_wait(testpoint);  in tp_relay()
82 tp_call(tp_id_t testpoint, tp_val_t val)  in tp_call()  argument
88 		tp_call_stackshot_upcall(testpoint, val);  in tp_call()
91 		tp_call_stackshot_long_upcall(testpoint, val);  in tp_call()
100 testpoint_handler(int64_t testpoint, int64_t *out)  in testpoint_handler()  argument
102 	tp_sysctl_msg_t * msg = (tp_sysctl_msg_t*)&testpoint;  in testpoint_handler()
108 SYSCTL_TEST_REGISTER(testpoint, testpoint_handler);