Searched refs:handle_response_nothing_scheduled (Results 1 – 1 of 1) sorted by relevance
2027 handle_response_nothing_scheduled( in handle_response_nothing_scheduled() function2268 kr = handle_response_nothing_scheduled(&response.NothingScheduled); in exclaves_scheduler_request_update_timer()2338 kr = handle_response_nothing_scheduled(&response.NothingScheduled); in exclaves_scheduler_request_boot()