Searched refs:user_hz (Results 1 – 1 of 1) sorted by relevance
424 static uint32_t user_hz = USER_HZ; variable459 user_hz = hz; in get_psched_settings()465 user_hz = sysconf(_SC_CLK_TCK); in get_psched_settings()467 psched_hz = user_hz; in get_psched_settings()513 return user_hz; in nl_get_user_hz()