read_machclk
*enqueue_time = read_machclk();
now = read_machclk();
uint64_t cur_time = read_machclk();
cur_time = read_machclk();
sp->cur_time = read_machclk();
sp->cur_time = read_machclk();
cur_time = read_machclk();
cur_time = read_machclk();
now = read_machclk();
tbr->tbr_last = read_machclk();
start = read_machclk();
end = read_machclk();
extern u_int64_t read_machclk(void);