Searched refs:exclaves_scheduler_request_update_timer (Results 1 – 1 of 1) sorted by relevance
145 exclaves_scheduler_request_update_timer(XrtHosted_Timer_t timer,2040 exclaves_scheduler_request_update_timer(timer, in exclaves_clocks_update()2088 exclaves_scheduler_request_update_timer(XrtHosted_Timer_t timer, in exclaves_scheduler_request_update_timer() function