NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
#include <service_timer.h>
Public Member Functions | |
MessageTime () |
Public Attributes | |
timevalue | wallclocktime |
timevalue | timestamp |
|
inline |
timevalue TimerProtocol::MessageTime::timestamp |
timevalue TimerProtocol::MessageTime::wallclocktime |