gettimeofday

unit

gettimeofday_fromrtc

unit gettimeofday_fromrtc = {
imports[
osenv_rtc : OSEnvRTC_T
];
exports[
out : PosixTime_T
];
...
}