Searched refs:exclaves_scheduler_request_update_timer (Results 1 – 1 of 1) sorted by relevance
144 exclaves_scheduler_request_update_timer(XrtHosted_Timer_t timer,2000 exclaves_scheduler_request_update_timer(timer, in exclaves_clocks_update()2048 exclaves_scheduler_request_update_timer(XrtHosted_Timer_t timer, in exclaves_scheduler_request_update_timer() function