/*
 * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef SETJMP_H
#define SETJMP_H

#include <setjmp_.h>

#ifndef __ASSEMBLY__

#include <cdefs.h>

int setjmp(jmp_buf env);
__dead2 void longjmp(jmp_buf env, int val);

#endif /* __ASSEMBLY__ */
#endif /* SETJMP_H */