Change `System_Clock' to `OS_process_clock', scaling in milliseconds
authorChris Hanson <org/chris-hanson/cph>
Sun, 13 Dec 1987 21:23:53 +0000 (21:23 +0000)
committerChris Hanson <org/chris-hanson/cph>
Sun, 13 Dec 1987 21:23:53 +0000 (21:23 +0000)
commit570ebe20e3550e9fef08467d97ac6f296b146b5d
tree767aeea0c39be4ccb62514147ccc1af7f2036694
parent149e17d148ce48d23c0837527d96ca49d8836c52
Change `System_Clock' to `OS_process_clock', scaling in milliseconds
instead of centiseconds.
v7/src/microcode/default.h
v7/src/microcode/extern.h