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 |