tc_detach
tc_detach(&a9tmr_timecounter);
return tc_detach(&sc->sc_tc);
tc_detach(&hyperv_timecounter);
return tc_detach(&acpi_timecounter);
return tc_detach(&tc->tc);
if ((rc = tc_detach(&sc->sc_tc)) != 0)
int tc_detach(struct timecounter *);