Searched refs:scm_user_id_t (Results 1 – 2 of 2) sorted by relevance
59 } scm_user_id_t; typedef148 void scm_setsystemclock (scm_user_id_t user_id, scm_clockconfig_t sysclockconfig);
62 static scm_clockconfig_t scm_system_clock_requests[(scm_user_id_t)TOTAL_CLIENT_NUM] = {NO_CLOCK_CON…547 void scm_setsystemclock(scm_user_id_t user_id, scm_clockconfig_t sysclockconfig) in scm_setsystemclock()