tsc_get_target
clk = tsc_get_target(ns);
tsc_target = tsc_get_target(umtx_delay);
int64_t time_tgt = tsc_get_target(1000000000LL);
time_tgt = tsc_get_target(1000000000LL);
tsc_target = tsc_get_target(pipe_delay);
tsc_target = tsc_get_target(pipe_delay);
tsc_uclock_t tsc_get_target(int ns);