diff options
author | Richard Braun <rbraun@sceen.net> | 2019-09-13 12:04:22 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2019-09-13 12:04:22 +0200 |
commit | 4a23fd34e0457fdb0582dd916494815419a59479 (patch) | |
tree | 09cf33f2eacd36853974e9218105061aa5db8791 /kern/timer.c | |
parent | b74963a3849ad107f0519ee23d0e230cdb61c66b (diff) |
Fix the documentation according to the memory modelmemory_model_dev
Also, change the ordering requirements of some operations.
Diffstat (limited to 'kern/timer.c')
0 files changed, 0 insertions, 0 deletions