customized mbed library sources for nrf51822
Dependents: Grove_Node Potentiometer BLE_Beacon I2C_Scanner
common/exit.c@0:700cadd8b708, 2014-11-04 (annotated)
- Committer:
- yihui
- Date:
- Tue Nov 04 07:38:53 2014 +0000
- Revision:
- 0:700cadd8b708
customized mbed-src library for nrf51822
Who changed what in which revision?
User | Revision | Line number | New contents of line |
---|---|---|---|
yihui | 0:700cadd8b708 | 1 | /* mbed Microcontroller Library |
yihui | 0:700cadd8b708 | 2 | * Copyright (c) 2006-2013 ARM Limited |
yihui | 0:700cadd8b708 | 3 | * |
yihui | 0:700cadd8b708 | 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
yihui | 0:700cadd8b708 | 5 | * you may not use this file except in compliance with the License. |
yihui | 0:700cadd8b708 | 6 | * You may obtain a copy of the License at |
yihui | 0:700cadd8b708 | 7 | * |
yihui | 0:700cadd8b708 | 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
yihui | 0:700cadd8b708 | 9 | * |
yihui | 0:700cadd8b708 | 10 | * Unless required by applicable law or agreed to in writing, software |
yihui | 0:700cadd8b708 | 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
yihui | 0:700cadd8b708 | 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
yihui | 0:700cadd8b708 | 13 | * See the License for the specific language governing permissions and |
yihui | 0:700cadd8b708 | 14 | * limitations under the License. |
yihui | 0:700cadd8b708 | 15 | */ |
yihui | 0:700cadd8b708 | 16 | #include "semihost_api.h" |
yihui | 0:700cadd8b708 | 17 | #include "mbed_interface.h" |
yihui | 0:700cadd8b708 | 18 | #if DEVICE_STDIO_MESSAGES |
yihui | 0:700cadd8b708 | 19 | #include <stdio.h> |
yihui | 0:700cadd8b708 | 20 | #endif |
yihui | 0:700cadd8b708 | 21 | |
yihui | 0:700cadd8b708 | 22 | #ifdef TOOLCHAIN_GCC_CW |
yihui | 0:700cadd8b708 | 23 | // TODO: Ideally, we would like to define directly "_ExitProcess" |
yihui | 0:700cadd8b708 | 24 | void mbed_exit(int return_code) { |
yihui | 0:700cadd8b708 | 25 | #else |
yihui | 0:700cadd8b708 | 26 | void exit(int return_code) { |
yihui | 0:700cadd8b708 | 27 | #endif |
yihui | 0:700cadd8b708 | 28 | |
yihui | 0:700cadd8b708 | 29 | #if DEVICE_STDIO_MESSAGES |
yihui | 0:700cadd8b708 | 30 | fflush(stdout); |
yihui | 0:700cadd8b708 | 31 | fflush(stderr); |
yihui | 0:700cadd8b708 | 32 | #endif |
yihui | 0:700cadd8b708 | 33 | |
yihui | 0:700cadd8b708 | 34 | #if DEVICE_SEMIHOST |
yihui | 0:700cadd8b708 | 35 | if (mbed_interface_connected()) { |
yihui | 0:700cadd8b708 | 36 | semihost_exit(); |
yihui | 0:700cadd8b708 | 37 | } |
yihui | 0:700cadd8b708 | 38 | #endif |
yihui | 0:700cadd8b708 | 39 | if (return_code) { |
yihui | 0:700cadd8b708 | 40 | mbed_die(); |
yihui | 0:700cadd8b708 | 41 | } |
yihui | 0:700cadd8b708 | 42 | |
yihui | 0:700cadd8b708 | 43 | while (1); |
yihui | 0:700cadd8b708 | 44 | } |