| 18,11 → 18,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: edfstar.c,v 1.1 2002-09-02 10:29:30 pj Exp $ |
| CVS : $Id: edfstar.c,v 1.2 2002-10-28 08:16:09 pj Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.1 $ |
| Last update: $Date: 2002-09-02 10:29:30 $ |
| Revision: $Revision: 1.2 $ |
| Last update: $Date: 2002-10-28 08:16:09 $ |
| ------------ |
| **/ |
| |
| 564,10 → 564,10 |
|---|
| } |
| |
| static void EDFSTAR_task_sleep(LEVEL l, PID p) |
| { kern_raise(XUNVALID_TASK,exec_shadow); } |
| { kern_raise(XINVALID_TASK,exec_shadow); } |
| |
| static void EDFSTAR_task_delay(LEVEL l, PID p, TIME usdelay) |
| { kern_raise(XUNVALID_TASK,exec_shadow); } |
| { kern_raise(XINVALID_TASK,exec_shadow); } |
| |
| /* Guest Functions |
| These functions manages a JOB_TASK_MODEL, that is used to put |
| 694,13 → 694,13 |
|---|
| } |
| |
| static void EDFSTAR_guest_endcycle(LEVEL l, PID p) |
| { kern_raise(XUNVALID_GUEST,exec_shadow); } |
| { kern_raise(XINVALID_GUEST,exec_shadow); } |
| |
| static void EDFSTAR_guest_sleep(LEVEL l, PID p) |
| { kern_raise(XUNVALID_GUEST,exec_shadow); } |
| { kern_raise(XINVALID_GUEST,exec_shadow); } |
| |
| static void EDFSTAR_guest_delay(LEVEL l, PID p, TIME usdelay) |
| { kern_raise(XUNVALID_GUEST,exec_shadow); } |
| { kern_raise(XINVALID_GUEST,exec_shadow); } |
| |
| /* Registration functions */ |
| |