| 20,11 → 20,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: pi.c,v 1.3 2003-11-05 15:04:14 giacomo Exp $ |
| CVS : $Id: pi.c,v 1.4 2003-11-05 19:16:39 giacomo Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-11-05 15:04:14 $ |
| Revision: $Revision: 1.4 $ |
| Last update: $Date: 2003-11-05 19:16:39 $ |
| ------------ |
| |
| Priority Inhertitance protocol. see pi.h for more details... |
| 183,7 → 183,7 |
|---|
| |
| if (p->owner == exec_shadow) { |
| /* the task already owns the mutex */ |
| kern_frestore(f); |
| kern_cli(f); |
| return (EDEADLK); |
| } |
| |