diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-08-20 17:40:07 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-08-20 17:40:07 +0200 |
| commit | 9e0a5dc54d62ad7702ca041dcd7a4adf07d814fa (patch) | |
| tree | d2b4af15b426bf3d7c1027ccd124ae8cd80a964b /kern/thread.c | |
| parent | ebf946b7c850dfb7de1ca68f54458ff9c8a65acf (diff) | |
kern/turnstile: fix priority propagation
Diffstat (limited to 'kern/thread.c')
0 files changed, 0 insertions, 0 deletions