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