mstimestamp
extern float mstimestamp(hrtime_t hrt);
mstimestamp(hrtime), (int)cpuid, "tick");
(void) printf("%7.3f %3d %5s ", mstimestamp(cpc_buf_hrtime(cpc, buf)),
mstimestamp(cpc_buf_hrtime(cpc, buf)));
if (now < mstimestamp(hrt))
now = mstimestamp(hrt);
print_fork(mstimestamp(0), pid, lwpid, oldpid);