diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-08-27 16:58:16 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-08-27 16:58:16 +0200 |
| commit | 870267ce537744400f30a51bcc956a9b1c3b9b13 (patch) | |
| tree | 928e70dbaa6f647583c5ac486526e3d3a7adaea6 /kern/rtmutex_i.h | |
| parent | af4a531dc3da29c63aaabc0d8baa25739748059f (diff) | |
kern/turnstile: implement timed waits
Diffstat (limited to 'kern/rtmutex_i.h')
0 files changed, 0 insertions, 0 deletions