mc6840_counter
.tc_get_timecount = mc6840_counter,
static u_int mc6840_counter(struct timecounter *);