20,11 → 20,11 |
|
/** |
------------ |
CVS : $Id: srp.c,v 1.4 2003-11-05 15:04:15 giacomo Exp $ |
CVS : $Id: srp.c,v 1.5 2003-11-06 09:42:23 giacomo Exp $ |
|
File: $File$ |
Revision: $Revision: 1.4 $ |
Last update: $Date: 2003-11-05 15:04:15 $ |
Revision: $Revision: 1.5 $ |
Last update: $Date: 2003-11-06 09:42:23 $ |
------------ |
|
Stack Resource Policy. see srp.h for general details... |
660,11 → 660,13 |
|
if (mut->owner != exec_shadow) { |
/* the mutex is owned by another task!!! */ |
kern_sti(); |
return (EPERM); |
} |
|
if (!lev->srpstack || lev->srpstack != mut) { |
/* the mutex is not the top of the stack!!! (erroneous nesting!) */ |
kern_sti(); |
return (EINVAL); |
} |
|