1dae0b4b0SNigel Croxon #ifndef GNU_EFI_SETJMP_H 2dae0b4b0SNigel Croxon #define GNU_EFI_SETJMP_H 3dae0b4b0SNigel Croxon 44d326eaeSNigel Croxon #include "eficompiler.h" 5dae0b4b0SNigel Croxon #include "efisetjmp_arch.h" 6dae0b4b0SNigel Croxon 7*5b74db0eSNigel Croxon extern UINTN setjmp(jmp_buf env) __attribute__((returns_twice)); 8*5b74db0eSNigel Croxon extern VOID longjmp(jmp_buf env, UINTN value) __attribute__((noreturn)); 9dae0b4b0SNigel Croxon 10dae0b4b0SNigel Croxon #endif /* GNU_EFI_SETJMP_H */ 11