Rev 1404 | Rev 1407 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1404 | Rev 1405 | ||
---|---|---|---|
Line 72... | Line 72... | ||
72 | * |
72 | * |
73 | * msg = get_msg(); |
73 | * msg = get_msg(); |
74 | * .... |
74 | * .... |
75 | * } |
75 | * } |
76 | * |
76 | * |
77 | * TODO: Detaching/joining dead psthreads? */ |
77 | * TODO: Detaching/joining dead psthreads? |
78 | */ |
78 | */ |
79 | #include <futex.h> |
79 | #include <futex.h> |
80 | #include <async.h> |
80 | #include <async.h> |
81 | #include <psthread.h> |
81 | #include <psthread.h> |
82 | #include <stdio.h> |
82 | #include <stdio.h> |