| 18,11 → 18,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: tskmsg.c,v 1.2 2003-07-22 11:56:06 giacomo Exp $ |
| CVS : $Id: tskmsg.c,v 1.3 2003-12-10 16:54:59 giacomo Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.2 $ |
| Last update: $Date: 2003-07-22 11:56:06 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-12-10 16:54:59 $ |
| ------------ |
| |
| **/ |
| 60,9 → 60,10 |
|---|
| #include <errno.h> |
| #include <kernel/var.h> |
| #include <kernel/func.h> |
| #include <kernel/trace.h> |
| |
| #include <tracer.h> |
| |
| |
| /* |
| The running task (pointed by exec_shadow) sent a message m to the |
| scheduling module that handle the task p. |