|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Returns the wall clock time in microseconds. More...
#include <message.h>
Public Types | |
| enum | { FREQUENCY = Config::WALLCLOCK_FREQUENCY } |
Public Member Functions | |
| MessageTime () | |
Public Attributes | |
| timevalue | wallclocktime |
| timevalue | timestamp |
Returns the wall clock time in microseconds.
It also contains a timestamp of the Motherboard clock in microseconds, to be able to adjust to the time already passed and to detect out-of-date values.
|
inline |
| timevalue MessageTime::timestamp |
| timevalue MessageTime::wallclocktime |