Subversion Repositories shark

Compare Revisions

Ignore whitespace Rev 697 → Rev 698

/shark/trunk/kernel/modules/intdrive.c
171,7 → 171,7
static void INTDRIVE_public_epilogue(LEVEL l, PID p)
{
 
struct timespec time;
struct timespec time, acttime;
 
INTDRIVE_level_des *lev = (INTDRIVE_level_des *)(level_table[l]);
 
178,7 → 178,8
if (lev->wcet_timer != NIL)
kern_event_delete(lev->wcet_timer);
 
SUBTIMESPEC(&schedule_time, &(lev->act_time), &time);
kern_gettime(&acttime);
SUBTIMESPEC(&acttime, &(lev->act_time), &time);
lev->avail -= TIMESPEC2USEC(&time);
}
235,7 → 236,7
static int INTDRIVE_public_message(LEVEL l, PID p, void *m)
{
INTDRIVE_level_des *lev = (INTDRIVE_level_des *)(level_table[l]);
struct timespec time;
struct timespec time, acttime;
int temp,delta_time;;
 
lev->act_number--;
243,7 → 244,8
if (lev->wcet_timer != NIL)
kern_event_delete(lev->wcet_timer);
 
SUBTIMESPEC(&schedule_time, &(lev->act_time), &time);
kern_gettime(&acttime);
SUBTIMESPEC(&acttime, &(lev->act_time), &time);
lev->avail -= TIMESPEC2USEC(&time);
#ifdef INTDRIVE_DEBUG