48 tp_block(tp_id_t testpoint)  in tp_block()  argument
50 	tp_blocked_info[testpoint] = 1;  in tp_block()
62 tp_wait(tp_id_t testpoint)  in tp_wait()  argument
65 	while ((tp_blocked_info[testpoint]) && wr <= 0) {  in tp_wait()
69 		printf("tp_block(%hu) wait interrupted with error %d\n", testpoint, wr);  in tp_wait()
74 tp_relay(tp_id_t testpoint, tp_id_t other_testpoint)  in tp_relay()  argument
77 	tp_block(testpoint);  in tp_relay()
78 	tp_wait(testpoint);  in tp_relay()
83 tp_call(tp_id_t testpoint, tp_val_t val)  in tp_call()  argument
92 		tp_call_stackshot_upcall(testpoint, val);  in tp_call()
95 		tp_call_stackshot_long_upcall(testpoint, val);  in tp_call()
104 testpoint_handler(int64_t testpoint, int64_t *out)  in testpoint_handler()  argument
106 	tp_sysctl_msg_t * msg = (tp_sysctl_msg_t*)&testpoint;  in testpoint_handler()
112 SYSCTL_TEST_REGISTER(testpoint, testpoint_handler);