Searched refs:u_actual (Results 1 - 1 of 1) sorted by last modified time

/barrelfish-master/kernel/
H A Dschedule_rbed.c229 * \return u_actual for 'dcb' in percent.
233 unsigned int u_actual; local
237 u_actual = u_target(dcb);
241 u_actual = u_actual_srt(dcb);
247 u_actual = (MAX(BETA, SPECTRUM - kcb_current->u_hrt - kcb_current->u_srt) * dcb->weight) / kcb_current->w_be;
256 return u_actual;
280 unsigned int u_actual = do_resource_allocation(dcb); local
281 systime_t wcet_undiv = (kcb_current->n_be * kernel_timeslice * u_actual);
284 assert(kcb_current->u_hrt + kcb_current->u_srt + u_actual <= SPECTRUM);

Completed in 89 milliseconds