170b0f278SAntonio Nino Diaz /* 270b0f278SAntonio Nino Diaz * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved. 370b0f278SAntonio Nino Diaz * 470b0f278SAntonio Nino Diaz * SPDX-License-Identifier: BSD-3-Clause 570b0f278SAntonio Nino Diaz */ 670b0f278SAntonio Nino Diaz 770b0f278SAntonio Nino Diaz #ifndef SETJMP_H 870b0f278SAntonio Nino Diaz #define SETJMP_H 970b0f278SAntonio Nino Diaz 1070b0f278SAntonio Nino Diaz #include <setjmp_.h> 1170b0f278SAntonio Nino Diaz 12*d5dfdeb6SJulius Werner #ifndef __ASSEMBLER__ 1370b0f278SAntonio Nino Diaz 1470b0f278SAntonio Nino Diaz #include <cdefs.h> 1570b0f278SAntonio Nino Diaz 1670b0f278SAntonio Nino Diaz int setjmp(jmp_buf env); 1770b0f278SAntonio Nino Diaz __dead2 void longjmp(jmp_buf env, int val); 1870b0f278SAntonio Nino Diaz 19*d5dfdeb6SJulius Werner #endif /* __ASSEMBLER__ */ 2070b0f278SAntonio Nino Diaz #endif /* SETJMP_H */ 21