Subversion Repositories shark

Compare Revisions

Ignore whitespace Rev 961 → Rev 1004

/shark/trunk/modules/intdrive/intdrive/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);