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

/barrelfish-master/kernel/
H A Dschedule_rbed.c92 static inline unsigned int u_target(struct dcb *dcb) function
99 if(u_target(dcb) != 0) {
100 return MIN(u_target(dcb), (1 - BETA - kcb_current->u_hrt) / (kcb_current->u_srt / u_target(dcb)));
237 u_actual = u_target(dcb);
471 kcb_current->u_hrt += u_target(dcb);
529 kcb_current->u_hrt -= u_target(dcb);

Completed in 51 milliseconds