5b74db0e15
Signed-off-by: Joakim Tjernlund <Joakim.Tjernlund@infinera.com> Signed-off-by: Nigel Croxon <ncroxon@redhat.com>
11 lines
274 B
C
11 lines
274 B
C
#ifndef GNU_EFI_SETJMP_H
|
|
#define GNU_EFI_SETJMP_H
|
|
|
|
#include "eficompiler.h"
|
|
#include "efisetjmp_arch.h"
|
|
|
|
extern UINTN setjmp(jmp_buf env) __attribute__((returns_twice));
|
|
extern VOID longjmp(jmp_buf env, UINTN value) __attribute__((noreturn));
|
|
|
|
#endif /* GNU_EFI_SETJMP_H */
|