Searched refs:scm_user_id_t (Results 1 – 2 of 2) sorted by relevance
63 } scm_user_id_t; typedef159 void scm_setsystemclock (scm_user_id_t user_id, scm_clockconfig_t sysclockconfig);
72 static scm_clockconfig_t scm_system_clock_requests[(scm_user_id_t)TOTAL_CLIENT_NUM] = {NO_CLOCK_CON…573 OPTIMIZED void scm_setsystemclock(scm_user_id_t user_id, scm_clockconfig_t sysclockconfig) in scm_setsystemclock()
