V_TCB_TIMESTAMP
V_TCB_TIMESTAMP(M_TCB_TIMESTAMP) |
V_TCB_TIMESTAMP(0ULL) | V_TCB_T_RTT_TS_RECENT_AGE(0ULL), 0);
V_TCB_TIMESTAMP(0x7FFFFULL << 11), 0);