sc_tc
msr, fdc->sc_tc);
if (--fdc->sc_tc == 0) {
fdc->sc_tc = fd->sc_nbytes;
fdc->sc_nstat, fdc->sc_tc);
sc->sc_tc = &pvclock_timecounter;
sc->sc_tc->tc_name = DEVNAME(sc);
sc->sc_tc->tc_frequency = 1000000000ULL;
sc->sc_tc->tc_priv = sc;
sc->sc_tc->tc_quality = 1500;
sc->sc_tc->tc_quality = 500;
tc_init(sc->sc_tc);
struct timecounter *sc_tc;