1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright The TrustedFirmware-M Contributors
4  */
5 #include "psa/service.h"
6 
7 #if defined(__ARMCC_VERSION)
8 
__rt_exit(void)9 void __rt_exit(void)
10 {
11     psa_panic();
12 }
13 
14 #else
15 
exit(void)16 void exit(void)
17 {
18     psa_panic();
19 }
20 
21 #endif
22