struct timecounter *tc;
struct ct_softc *sc;
printf("initialializing counter-timer\n");
printf("initializing counter-timer\n");
/*
* Turn off interrupts from both counters. Set the limit to the maximum
* value (although that should not change anything with CTLR_INTEN and