/shark/trunk/kernel/modules/pc.c/pc.c |
---|
20,11 → 20,11 |
/** |
------------ |
CVS : $Id: pc.c,v 1.5 2003-11-05 19:16:38 giacomo Exp $ |
CVS : $Id: pc.c,v 1.6 2003-11-06 09:42:23 giacomo Exp $ |
File: $File$ |
Revision: $Revision: 1.5 $ |
Last update: $Date: 2003-11-05 19:16:38 $ |
Revision: $Revision: 1.6 $ |
Last update: $Date: 2003-11-06 09:42:23 $ |
------------ |
Priority Ceiling protocol. see pc.h for more details... |
371,6 → 371,7 |
if (p->owner != exec_shadow) { |
/* the mutex is owned by another task!!! */ |
kern_sti(); |
return (EPERM); |
} |