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