uhk/firmware
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix the formatting in timer.c

Browse Source
This commit is contained in:
Eric Tang
2018-06-26 22:13:13 -07:00
parent 0e9525ce9a
commit 02bbeb7177
1 changed files with 6 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
right/src/timer.c
View File

@@ -1,14 +1,11 @@
#include "fsl_pit.h" #include "fsl_pit.h"
#include "timer.h" #include "timer.h"
static volatile uint32_t CurrentTime; static volatile uint32_t currentTime, delayLength;
static volatile uint32_t delayLength;
void PIT_TIMER_HANDLER(void) void PIT_TIMER_HANDLER(void)
{ {
CurrentTime++; currentTime++;
if (delayLength) { if (delayLength) {
--delayLength; --delayLength;
} }
@@ -31,24 +28,24 @@ void Timer_Init(void)
} }
uint32_t Timer_GetCurrentTime() { uint32_t Timer_GetCurrentTime() {
return CurrentTime; return currentTime;
} }
void Timer_SetCurrentTime(uint32_t *time) void Timer_SetCurrentTime(uint32_t *time)
{ {
*time = CurrentTime; *time = currentTime;
} }
uint32_t Timer_GetElapsedTime(uint32_t *time) uint32_t Timer_GetElapsedTime(uint32_t *time)
{ {
uint32_t elapsedTime = CurrentTime - *time; uint32_t elapsedTime = currentTime - *time;
return elapsedTime; return elapsedTime;
} }
uint32_t Timer_GetElapsedTimeAndSetCurrent(uint32_t *time) uint32_t Timer_GetElapsedTimeAndSetCurrent(uint32_t *time)
{ {
uint32_t elapsedTime = Timer_GetElapsedTime(time); uint32_t elapsedTime = Timer_GetElapsedTime(time);
*time = CurrentTime; *time = currentTime;
return elapsedTime; return elapsedTime;
} }