Searched refs:update_schedule_vcpus (Results 1 – 1 of 1) sorted by relevance
205 static void update_schedule_vcpus(const struct scheduler *ops) in update_schedule_vcpus() function276 update_schedule_vcpus(ops); in arinc653_sched_set()430 update_schedule_vcpus(ops); in a653sched_alloc_vdata()454 update_schedule_vcpus(ops); in a653sched_free_vdata()
Completed in 3 milliseconds