rambo_get_timecount
.tc_get_timecount = rambo_get_timecount,
static unsigned rambo_get_timecount(struct timecounter *);