46bb1d31 ^
1 2 3 4 5 6 7 8 9 10 11 12 13
#ifndef TIMER_H #define TIMER_H #include "common.h" void initializeTimer(); uint32 getSystemTickCount(); uint32 getUptimeSeconds(); uint32 getUptimeMilliseconds(); void enableScheduler(); void disableScheduler(); #endif