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