20,11 → 20,11 |
|
/** |
------------ |
CVS : $Id: pc.c,v 1.6 2003-11-06 09:42:23 giacomo Exp $ |
CVS : $Id: pc.c,v 1.7 2004-01-08 20:10:41 giacomo Exp $ |
|
File: $File$ |
Revision: $Revision: 1.6 $ |
Last update: $Date: 2003-11-06 09:42:23 $ |
Revision: $Revision: 1.7 $ |
Last update: $Date: 2004-01-08 20:10:41 $ |
------------ |
|
Priority Ceiling protocol. see pc.h for more details... |
61,6 → 61,8 |
#include <kernel/var.h> |
#include <kernel/func.h> |
|
#include <tracer.h> |
|
typedef struct PC_mutexstruct_t PC_mutex_t; |
|
/* The PC resource level descriptor */ |
294,6 → 296,7 |
/* ... call the scheduler... */ |
scheduler(); |
//kern_printf("schedule: exec=%d, exec_shadow=%d\n",exec,exec_shadow); |
TRACER_LOGEVENT(FTrace_EVT_inheritance,3,proc_table[exec_shadow].context,proc_table[exec].context); |
kern_context_load(proc_table[exec_shadow].context); |
|
/* ... and reaquire the cli() before the test... */ |
404,6 → 407,7 |
}*/ |
|
scheduler(); |
TRACER_LOGEVENT(FTrace_EVT_inheritance,3,proc_table[exec_shadow].context,proc_table[exec].context); |
kern_context_load(proc_table[exec_shadow].context); |
|
return 0; |