Software APIs
stdnoreturn.h
Go to the documentation of this file.
1 // Copyright lowRISC contributors.
2 // Licensed under the Apache License, Version 2.0, see LICENSE for details.
3 // SPDX-License-Identifier: Apache-2.0
4 
5 #ifndef OPENTITAN_SW_DEVICE_LIB_BASE_FREESTANDING_STDNORETURN_H_
6 #define OPENTITAN_SW_DEVICE_LIB_BASE_FREESTANDING_STDNORETURN_H_
7 
8 /**
9  * @file
10  * @brief C library _Noreturn (Freestanding)
11  *
12  * This header implements the stdnoreturn.h standard header, as required by C11
13  * S4p6. This header is specified in detail in S7.23 of the same.
14  */
15 
16 #define noreturn _Noreturn
17 
18 #endif // OPENTITAN_SW_DEVICE_LIB_BASE_FREESTANDING_STDNORETURN_H_