static void edf_start_account(resch_task_t *rt) { #ifdef NO_LINUX_LOAD_BALANCE setup_timer_on_stack(&rt->expire_timer, expire_handler, (unsigned long)rt); mod_timer(&rt->expire_timer, jiffies + rt->budget - exec_time(rt)); #else rt->task->rt.timeout = 0; rt->task->signal->rlim[RLIMIT_RTTIME].rlim_cur = jiffies_to_usecs(rt->budget - exec_time(rt)); #endif }
seconds_t<float> user_idle_time(void) const noexcept { return exec_time() - user_activity_time(); }