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 |