Searched refs:tc_chosen (Results 1 – 1 of 1) sorted by relevance
143 static int tc_chosen; /* Non-zero if a specific tc was chosen via sysctl. */ variable1207 if (tc_chosen) in tc_init()1470 tc_chosen = 1; in sysctl_kern_timecounter_hardware()