Rev 1239 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1233 | giacomo | 1 | #ifndef SHARK_H |
2 | #define SHARK_H |
||
1239 | giacomo | 3 | |
4 | #include "kernel/kern.h" |
||
5 | #include "event_gen.h" |
||
6 | |||
1233 | giacomo | 7 | int calibrate_cycle(); |
1239 | giacomo | 8 | void start_simulation(); |
1233 | giacomo | 9 | void *get_task_model(struct loader_task *current); |
10 | void set_simulation_time (struct timespec *total); |
||
11 | void set_next_activation(struct timespec *next); |
||
1239 | giacomo | 12 | void loader_task_activate(struct loader_task *l); |
1245 | giacomo | 13 | int get_server_from_contract(int contract); |
1233 | giacomo | 14 | |
15 | #endif |