Searched refs:scm_clockconfig_t (Results 1 – 2 of 2) sorted by relevance
72 static scm_clockconfig_t scm_system_clock_requests[(scm_user_id_t)TOTAL_CLIENT_NUM] = {NO_CLOCK_CON…76 static scm_clockconfig_t scm_getmaxfreq(void);86 OPTIMIZED static scm_clockconfig_t scm_getmaxfreq(void) in scm_getmaxfreq()89 scm_clockconfig_t max = NO_CLOCK_CONFIG; in scm_getmaxfreq()573 OPTIMIZED void scm_setsystemclock(scm_user_id_t user_id, scm_clockconfig_t sysclockconfig) in scm_setsystemclock()575 scm_clockconfig_t max_freq_requested; in scm_setsystemclock()
40 } scm_clockconfig_t; typedef89 scm_clockconfig_t targeted_clock_freq;159 void scm_setsystemclock (scm_user_id_t user_id, scm_clockconfig_t sysclockconfig);
