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. |