diff options
| author | Richard Braun <rbraun@sceen.net> | 2013-05-15 21:09:01 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2013-05-15 21:09:01 +0200 |
| commit | 5abf84415cb501603ac059f91f37b3d030b24454 (patch) | |
| tree | ed3a73389205ccc24e473e598e1b6f2aef3617bf /kern/kernel.h | |
| parent | 0a508edac7b34eebf1456e3a826ec1c468eafe34 (diff) | |
kern/thread: return unsigned run queue identifiers
The correct type for run queue or processor identifiers is unsigned int.
The signed variant was used because of the bitmap interface, but there will
never be enough processors to trigger a problem with it, while using signed
integers can quickly mess things up.
Diffstat (limited to 'kern/kernel.h')
0 files changed, 0 insertions, 0 deletions