/shark/trunk/ports/first/modules/edfstar.c |
42,7 → 42,6 |
#include <kernel/descr.h> |
#include <kernel/var.h> |
#include <kernel/func.h> |
#include <kernel/trace.h> |
|
|
#define EDFSTAR_CHANGE_LEVEL 1 |
496,7 → 495,6 |
#endif |
|
jet_update_endcycle(); /* Update the Jet data... */ |
trc_logevent(TRC_ENDCYCLE,&exec_shadow); /* tracer stuff */ |
break; |
|
default: |
/shark/trunk/ports/first/modules/rmstar.c |
42,9 → 42,7 |
#include <kernel/descr.h> |
#include <kernel/var.h> |
#include <kernel/func.h> |
#include <kernel/trace.h> |
|
|
#define RMSTAR_CHANGE_LEVEL 1 |
|
/* for iqueues */ |
425,7 → 423,6 |
#endif |
|
jet_update_endcycle(); /* Update the Jet data... */ |
trc_logevent(TRC_ENDCYCLE,&exec_shadow); /* tracer stuff */ |
break; |
default: |
|
/shark/trunk/ports/first/modules/posixstar.c |
42,7 → 42,6 |
#include <kernel/descr.h> |
#include <kernel/var.h> |
#include <kernel/func.h> |
#include <kernel/trace.h> |
#include "posixstar.h" |
#include "fsf_server.h" |
|
412,7 → 411,6 |
} |
|
jet_update_endcycle(); /* Update the Jet data... */ |
trc_logevent(TRC_ENDCYCLE,&exec_shadow); /* tracer stuff */ |
POSIXSTAR_private_scheduler(lev); |
|
break; |