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