Rev 1255 | Go to most recent revision | Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1254 | giacomo | 1 | #ifndef SHARK_H |
| 2 | #define SHARK_H |
||
| 3 | |||
| 4 | #include "kernel/kern.h" |
||
| 5 | #include "common/nload.h" |
||
| 6 | |||
| 7 | int calibrate_cycle(); |
||
| 8 | void start_simulation(); |
||
| 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); |
||
| 12 | void loader_task_activate(struct loader_task *l); |
||
| 13 | int get_server_from_contract(int contract); |
||
| 14 | |||
| 15 | int fsfinit(); |
||
| 16 | |||
| 17 | #endif |