Rev 1245 |
Blame |
Compare with Previous |
Last modification |
View Log
| RSS feed
#ifndef SHARK_H
#define SHARK_H
#include "kernel/kern.h"
#include "nload.h"
int calibrate_cycle();
void start_simulation();
void *get_task_model(struct loader_task *current);
void set_simulation_time (struct timespec *total);
void set_next_activation(struct timespec *next);
void loader_task_activate(struct loader_task *l);
int get_server_from_contract(int contract);
#endif