Rev 1254 | Rev 1262 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1255 | giacomo | 1 | #ifndef __FUNC_H__ |
2 | #define __FUNC_H__ |
||
1254 | giacomo | 3 | |
1255 | giacomo | 4 | #include "kernel/kern.h" |
1254 | giacomo | 5 | #include "shark.h" |
6 | |||
7 | #define get_current_exec_task() exec_shadow |
||
8 | #define generic_get_server_from_contract get_server_from_contract |
||
9 | #define generic_create_thread fsf_create_thread |
||
10 | #define generic_calibrate_cycle calibrate_cycle |
||
11 | #define generic_set_next_activation set_next_activation |
||
12 | #define generic_set_simulation_time set_simulation_time |
||
13 | #define generic_get_task_model get_task_model |
||
14 | #define generic_start_simulation start_simulation |
||
15 | #define generic_fsfinit() fsfinit() |
||
16 | #define generic_task_endcycle() task_endcycle() |
||
17 | #define generic_end_simulation() sys_end() |
||
18 | #define printf cprintf |
||
19 | |||
20 | #endif |
||
21 | |||
22 |