00001 00008 #include <stdint.h> 00009 #include "osdep.h" 00010 00011 00012 uint32_t tmr_gettime_low() 00013 { 00014 /* Fill in with code that returns the low 32 bits of a millisecond 00015 * counter. The API will not otherwise interpret the counter value. 00016 */ 00017 return 0; 00018 } 00019 00020 uint32_t tmr_gettime_high() 00021 { 00022 /* Fill in with code that returns the hugh 32 bits of a millisecond 00023 * counter. The API will not otherwise interpret the counter value. 00024 * Returning 0 is acceptable here if you do not have a large enough counter. 00025 */ 00026 return 0; 00027 } 00028 00029 void 00030 tmr_sleep(uint32_t sleepms) 00031 { 00032 /* 00033 * Fill in with code that returns after at least sleepms milliseconds 00034 * have elapsed. 00035 */ 00036 } 00037 00038 TMR_TimeStructure 00039 tmr_gettimestructure() 00040 { 00041 TMR_TimeStructure timestructure; 00042 00043 timestructure.tm_year = (uint32_t)0; 00044 timestructure.tm_mon = (uint32_t)0; 00045 timestructure.tm_mday = (uint32_t)0; 00046 timestructure.tm_hour = (uint32_t)0; 00047 timestructure.tm_min = (uint32_t)0; 00048 timestructure.tm_sec = (uint32_t)0; 00049 00050 return timestructure; 00051 }