Searched refs:handle_response_nothing_scheduled (Results 1 – 1 of 1) sorted by relevance
1990 handle_response_nothing_scheduled( in handle_response_nothing_scheduled() function2226 kr = handle_response_nothing_scheduled(&response.NothingScheduled); in exclaves_scheduler_request_update_timer()2296 kr = handle_response_nothing_scheduled(&response.NothingScheduled); in exclaves_scheduler_request_boot()