#ifndef _TIMERMODEL_H #define _TIMERMODEL_H #include "Types.h" void TimerModel_UpdateTime(uint32 systemTime); #endif // _TIMERMODEL_H