Searched refs:psched_hz (Results 1 – 1 of 1) sorted by relevance
393 static uint32_t psched_hz = USER_HZ; variable435 psched_hz = user_hz; in get_psched_settings()464 psched_hz = denom; in get_psched_settings()490 return psched_hz; in nl_get_psched_hz()