Searched refs:psched_hz (Results 1 – 1 of 1) sorted by relevance
424 static uint32_t psched_hz = USER_HZ; variable466 psched_hz = user_hz; in get_psched_settings()495 psched_hz = denom; in get_psched_settings()521 return psched_hz; in nl_get_psched_hz()