Vcore timers are stored in ticks (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 May 2014 00:03:26 +0000 (17:03 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 May 2014 00:03:26 +0000 (17:03 -0700)
commit6cb42b121ba14f51f58f43ecdd84027575843125
treed77bd75728f885769b72f8edb29b26a9b4d75f3b
parent8337092519f5a35f8cdd5366cf0cbb34a84d0b7b
Vcore timers are stored in ticks (XCC)

Convert only when we actually care about the value.  Also renames
vcore_{resume,total}.

Reinstall your kernel headers.
kern/include/ros/procinfo.h
kern/src/process.c
tests/prof_test.c
user/parlib/include/vcore.h