diff options
| author | manuel <manuel@mausz.at> | 2012-05-10 02:28:35 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2012-05-10 02:28:35 +0200 |
| commit | 2aaf7251b5191920d0880010c1cb30fb56f92c14 (patch) | |
| tree | 540791e152ded80d0530f4b983de1d4ee77b9768 /tests/userprog/write-normal.c | |
| parent | 57c893ae56f151efc96fabebbb4c8ec039cb56ef (diff) | |
| download | progos-2aaf7251b5191920d0880010c1cb30fb56f92c14.tar.gz progos-2aaf7251b5191920d0880010c1cb30fb56f92c14.tar.bz2 progos-2aaf7251b5191920d0880010c1cb30fb56f92c14.zip | |
fix sema_up() and hence the priority-sema testcase => 2/18 failed
+ some minor documentation and cleanup stuff
Diffstat (limited to 'tests/userprog/write-normal.c')
0 files changed, 0 insertions, 0 deletions
