121a122,125
> /** RTC event times for drain and serialization coordination */
> Tick rtcTimerInterruptTickOffset;
> Tick rtcClockTickOffset;
>
134a139,140
> unsigned int drain(Event *de);
>