| 1,5 → 1,8 |
|---|
| #include <func.h> |
| #include <kernel/kern.h> |
| #include "func.h" |
| |
| |
| |
| /* Delay Calibration */ |
| int calibrate_cycle() |
| { |
| 20,7 → 23,7 |
|---|
| |
| } |
| |
| void *get_task_model(task_loader *current) { |
| void *get_task_model(struct loader_task *current) { |
| if (current->local_scheduler == LOADER_POSIX_SCHEDULER) { |
| static NRT_TASK_MODEL nrt; |
| |
| 61,8 → 64,6 |
|---|
| void set_simulation_time (struct timespec *total) { |
| struct timespec end_time; |
| kern_gettime(&zero_time); |
| |
| loader_first_execution(start_loader_task); |
| |
| ADDTIMESPEC(&zero_time,total,&end_time); |
| kern_event_post(&end_time,(void *)((void *)(sys_end)),NULL); |
| 74,3 → 75,8 |
|---|
| ADDTIMESPEC(&zero_time,next,&end_time); |
| kern_event_post(&end_time,(void *)((void *)(task_activate(exec_shadow))),NULL); |
| } |
| |
| int calibration_func() { |
| return kern_gettime(NULL); |
| |
| } |