Searched refs:sysclockconfig (Results 1 – 2 of 2) sorted by relevance
573 OPTIMIZED void scm_setsystemclock(scm_user_id_t user_id, scm_clockconfig_t sysclockconfig) in scm_setsystemclock() argument580 scm_system_clock_requests[user_id] = sysclockconfig; in scm_setsystemclock()
159 void scm_setsystemclock (scm_user_id_t user_id, scm_clockconfig_t sysclockconfig);