ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

rtx idle: fix coding style

pull/8711/head
Martin Kojtal 2018-11-12 09:30:51 +00:00
parent 9a0651c7fb
commit 830f7464cc
1 changed files with 103 additions and 103 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
rtos/TARGET_CORTEX/mbed_rtx_idle.cpp
View File

@ -42,7 +42,7 @@ using namespace mbed;
static rtos::internal::SysTimer *os_timer; static rtos::internal::SysTimer *os_timer;
static uint64_t os_timer_data[sizeof(rtos::internal::SysTimer) / 8]; static uint64_t os_timer_data[sizeof(rtos::internal::SysTimer) / 8];
/// Enable System Timer. // Enable System Timer.
void OS_Tick_Enable(void) void OS_Tick_Enable(void)
{ {
// Do not use SingletonPtr since this relies on the RTOS // Do not use SingletonPtr since this relies on the RTOS
@ -55,19 +55,19 @@ void OS_Tick_Enable(void)
os_timer->schedule_tick(); os_timer->schedule_tick();
} }
/// Disable System Timer. // Disable System Timer.
void OS_Tick_Disable(void) void OS_Tick_Disable(void)
{ {
os_timer->cancel_tick(); os_timer->cancel_tick();
} }
/// Acknowledge System Timer IRQ. // Acknowledge System Timer IRQ.
void OS_Tick_AcknowledgeIRQ(void) void OS_Tick_AcknowledgeIRQ(void)
{ {
} }
/// Get System Timer count. // Get System Timer count.
uint32_t OS_Tick_GetCount(void) uint32_t OS_Tick_GetCount(void)
{ {
return os_timer->get_time() & 0xFFFFFFFF; return os_timer->get_time() & 0xFFFFFFFF;