geode_get_timecount
static unsigned geode_get_timecount(struct timecounter *);
sc->sc_tc.tc_get_timecount = geode_get_timecount;