diff options
author | Richard Braun <rbraun@sceen.net> | 2017-08-31 23:17:47 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2017-08-31 23:17:47 +0200 |
commit | 406a8a1aeec188fde53050ea9b58fb2bcff9a2d0 (patch) | |
tree | dc5972b68bd174d3c8d135324b6a777c1bc207ec /kern/timer.c | |
parent | c04c1bdd385af886422b89e1bf751b9a9d322ffc (diff) |
kern/mutex/mutex_adaptive: rename some debugging counters
Diffstat (limited to 'kern/timer.c')
0 files changed, 0 insertions, 0 deletions