/shark/trunk/modules/intdrive/intdrive/intdrive.h/intdrive.h |
---|
49,7 → 49,7 |
#define INTDRIVE_CHECK_WCET 1 |
LEVEL INTDRIVE_register_level(TIME capacity, TIME replenish_period, int flag); |
LEVEL INTDRIVE_register_level(TIME capacity, TIME q_theta, int U, int flags); |
/*+ Returns the used bandwidth of a level +*/ |
bandwidth_t INTDRIVE_usedbandwidth(LEVEL l); |