Searched refs:user_hz (Results 1 – 1 of 1) sorted by relevance
268 static uint32_t user_hz = USER_HZ; variable270 static uint32_t user_hz = 100; variable294 user_hz = hz; in get_psched_settings()300 user_hz = sysconf(_SC_CLK_TCK); in get_psched_settings()332 return user_hz; in nl_get_hz()