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

Merge pull request #8584 from kjbracey-arm/noreturn 

system_reset is MBED_NORETURN
pull/8604/head
Martin Kojtal 2018-10-31 14:46:46 +01:00 committed by GitHub
parent 2015a61b37 e9ccabcadc
commit 56293af0e7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
platform/mbed_power_mgmt.h
View File

@ -261,7 +261,7 @@ us_timestamp_t mbed_uptime(void);
* *
* @note Does not affect the debug sub-system * @note Does not affect the debug sub-system
*/ */
static inline void system_reset(void) MBED_NORETURN static inline void system_reset(void)
{ {
NVIC_SystemReset(); NVIC_SystemReset();
} }