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