diff options
| author | rpj <rpj> | 2004-10-19 13:33:10 +0000 |
|---|---|---|
| committer | rpj <rpj> | 2004-10-19 13:33:10 +0000 |
| commit | da041b8ec0cfb1a70146e7f16459282f518bded6 (patch) | |
| tree | 0ca98d38a122da16847858dff5d9f1ff7e034a10 /manual | |
| parent | 8c8bcc5d1737002a9d153105c16b262d2e201efa (diff) | |
sem_getvalue can now return number of waiters
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions