1*70b0f278SAntonio Nino Diaz /* 2*70b0f278SAntonio Nino Diaz * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved. 3*70b0f278SAntonio Nino Diaz * 4*70b0f278SAntonio Nino Diaz * SPDX-License-Identifier: BSD-3-Clause 5*70b0f278SAntonio Nino Diaz */ 6*70b0f278SAntonio Nino Diaz 7*70b0f278SAntonio Nino Diaz #ifndef SETJMP_H 8*70b0f278SAntonio Nino Diaz #define SETJMP_H 9*70b0f278SAntonio Nino Diaz 10*70b0f278SAntonio Nino Diaz #include <setjmp_.h> 11*70b0f278SAntonio Nino Diaz 12*70b0f278SAntonio Nino Diaz #ifndef __ASSEMBLY__ 13*70b0f278SAntonio Nino Diaz 14*70b0f278SAntonio Nino Diaz #include <cdefs.h> 15*70b0f278SAntonio Nino Diaz 16*70b0f278SAntonio Nino Diaz int setjmp(jmp_buf env); 17*70b0f278SAntonio Nino Diaz __dead2 void longjmp(jmp_buf env, int val); 18*70b0f278SAntonio Nino Diaz 19*70b0f278SAntonio Nino Diaz #endif /* __ASSEMBLY__ */ 20*70b0f278SAntonio Nino Diaz #endif /* SETJMP_H */ 21