V_TCB_TIMESTAMP_OFFSET
V_TCB_TIMESTAMP_OFFSET(M_TCB_TIMESTAMP_OFFSET),
V_TCB_TIMESTAMP_OFFSET(tp->ts_offset >> 28));