Searched refs:timername (Results 1 – 1 of 1) sorted by relevance
107 static char timername[32]; /* Wanted timer. */ variable108 TUNABLE_STR("kern.eventtimer.timer", timername, sizeof(timername));635 if (timername[0]) in cpu_initclocks_bsp()636 timer = et_find(timername, 0, 0); in cpu_initclocks_bsp()