Ermanno Brusadin / mbed

mbed library sources

Dependents:   FRDM-KL46Z_LCD_Test FRDM-KL46Z_LCD_Test FRDM-KL46Z_Plantilla FRDM-KL46Z_Plantilla ... more

common/exit.c@0:6bc4ac881c8e, 2016-07-28 (annotated)

Committer:
ebrus
Date:
Thu Jul 28 15:56:34 2016 +0000
Revision:
0:6bc4ac881c8e
1;

Who changed what in which revision?

UserRevisionLine numberNew contents of line
ebrus 0:6bc4ac881c8e 1 /* mbed Microcontroller Library
ebrus 0:6bc4ac881c8e 2 * Copyright (c) 2006-2013 ARM Limited
ebrus 0:6bc4ac881c8e 3 *
ebrus 0:6bc4ac881c8e 4 * Licensed under the Apache License, Version 2.0 (the "License");
ebrus 0:6bc4ac881c8e 5 * you may not use this file except in compliance with the License.
ebrus 0:6bc4ac881c8e 6 * You may obtain a copy of the License at
ebrus 0:6bc4ac881c8e 7 *
ebrus 0:6bc4ac881c8e 8 * http://www.apache.org/licenses/LICENSE-2.0
ebrus 0:6bc4ac881c8e 9 *
ebrus 0:6bc4ac881c8e 10 * Unless required by applicable law or agreed to in writing, software
ebrus 0:6bc4ac881c8e 11 * distributed under the License is distributed on an "AS IS" BASIS,
ebrus 0:6bc4ac881c8e 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
ebrus 0:6bc4ac881c8e 13 * See the License for the specific language governing permissions and
ebrus 0:6bc4ac881c8e 14 * limitations under the License.
ebrus 0:6bc4ac881c8e 15 */
ebrus 0:6bc4ac881c8e 16 #include "semihost_api.h"
ebrus 0:6bc4ac881c8e 17 #include "mbed_interface.h"
ebrus 0:6bc4ac881c8e 18 #if DEVICE_STDIO_MESSAGES
ebrus 0:6bc4ac881c8e 19 #include <stdio.h>
ebrus 0:6bc4ac881c8e 20 #endif
ebrus 0:6bc4ac881c8e 21
ebrus 0:6bc4ac881c8e 22 #ifdef TOOLCHAIN_GCC_CW
ebrus 0:6bc4ac881c8e 23 // TODO: Ideally, we would like to define directly "_ExitProcess"
ebrus 0:6bc4ac881c8e 24 void mbed_exit(int return_code) {
ebrus 0:6bc4ac881c8e 25 #else
ebrus 0:6bc4ac881c8e 26 void exit(int return_code) {
ebrus 0:6bc4ac881c8e 27 #endif
ebrus 0:6bc4ac881c8e 28
ebrus 0:6bc4ac881c8e 29 #if DEVICE_STDIO_MESSAGES
ebrus 0:6bc4ac881c8e 30 fflush(stdout);
ebrus 0:6bc4ac881c8e 31 fflush(stderr);
ebrus 0:6bc4ac881c8e 32 #endif
ebrus 0:6bc4ac881c8e 33
ebrus 0:6bc4ac881c8e 34 #if DEVICE_SEMIHOST
ebrus 0:6bc4ac881c8e 35 if (mbed_interface_connected()) {
ebrus 0:6bc4ac881c8e 36 semihost_exit();
ebrus 0:6bc4ac881c8e 37 }
ebrus 0:6bc4ac881c8e 38 #endif
ebrus 0:6bc4ac881c8e 39 if (return_code) {
ebrus 0:6bc4ac881c8e 40 mbed_die();
ebrus 0:6bc4ac881c8e 41 }
ebrus 0:6bc4ac881c8e 42
ebrus 0:6bc4ac881c8e 43 while (1);
ebrus 0:6bc4ac881c8e 44 }