gcscpcib_get_timecount
tc->tc_get_timecount = gcscpcib_get_timecount;
static u_int gcscpcib_get_timecount(struct timecounter *tc);