Syscall tracing formatting touchups
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 3 Sep 2014 05:06:36 +0000 (22:06 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 3 Sep 2014 05:06:36 +0000 (22:06 -0700)
commit05baa2d36a3838fa54d8cd2b9879516dc63b9a0d
treee801fabcb70ed25bc53c6748789e355f6322b73f
parent88349f26e2e3749bc13d97d00f94697cdb1a58c7
Syscall tracing formatting touchups

The main thing is that we print the real time (since boot) in seconds,
instead of TSC ticks.

As a reminder to anyone using c89, the TSC only resets on a cold boot.
Perhaps that has something to do with its service processor locking up
every so often!  (we'll see if it is every 49 days)
kern/include/time.h
kern/src/syscall.c
kern/src/time.c