Rev 1245 | 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" |
||
| 1247 | giacomo | 5 | #include "nload.h" |
| 1239 | giacomo | 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 |