Searched refs:handle_response_nothing_scheduled (Results 1 – 1 of 1) sorted by relevance
1894 handle_response_nothing_scheduled( in handle_response_nothing_scheduled() function2130 kr = handle_response_nothing_scheduled(&response.NothingScheduled); in exclaves_scheduler_request_update_timer()2200 kr = handle_response_nothing_scheduled(&response.NothingScheduled); in exclaves_scheduler_request_boot()