122,125d121
< /** RTC event times for drain and serialization coordination */
< Tick rtcTimerInterruptTickOffset;
< Tick rtcClockTickOffset;
<
139,140d134
< unsigned int drain(Event *de);
<