decr_get_timecount
.tc_get_timecount = decr_get_timecount,
static timecounter_get_t decr_get_timecount;