Yihui Xiong / mbed-src-nrf51822

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?

UserRevisionLine numberNew 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 }