RRIP_TF_ACCESS_BIT
if (IS_TIME_BIT_SET(RRIP_TF_FLAGS(tf_ptr), RRIP_TF_ACCESS_BIT)) {
RRIP_TF_ACCESS_BIT)))])