SDK Development / mbed-src

mbed SDK library sources

Fork of mbed-src by mbed official

Development branch of the mbed library sources. This library is kept in synch with the latest changes from the mbed SDK and it is not guaranteed to work.

If you are looking for a stable and tested release, please import one of the official mbed library releases:

Import librarymbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Last commit 20 Feb 2019 by mbed official

common/exit.c@89:9655231f5786, 2014-02-11 (annotated)

Committer:
mbed_official
Date:
Tue Feb 11 15:00:06 2014 +0000
Revision:
89:9655231f5786
Parent:
9:0ce32e54c9a7 
Synchronized with git revision 17499c34d273f02497e0706d3abc516b12f3fc62



Full URL: https://github.com/mbedmicro/mbed/commit/17499c34d273f02497e0706d3abc516b12f3fc62/

Who changed what in which revision?

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