1 /* $NetBSD: efisetjmp.h,v 1.1.1.1 2018/08/16 18:17:47 jmcneill Exp $ */ 2 3 #ifndef GNU_EFI_SETJMP_H 4 #define GNU_EFI_SETJMP_H 5 6 #include "eficompiler.h" 7 #include "efisetjmp_arch.h" 8 9 extern UINTN setjmp(jmp_buf *env) __attribute__((returns_twice)); 10 extern VOID longjmp(jmp_buf *env, UINTN value) __attribute__((noreturn)); 11 12 #endif /* GNU_EFI_SETJMP_H */ 13