tsc_test_target
while (tsc_test_target(clk) == 0) {
while (tsc_test_target(tsc_target) == 0) {
if ((benice & 255) == 0 && tsc_test_target(time_tgt) > 0) {
while (tsc_test_target(tsc_target) == 0) {
while (tsc_test_target(tsc_target) == 0) {
int tsc_test_target(int64_t target);