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