diff options
Diffstat (limited to 'gnu-efi/inc/efisetjmp.h')
| -rw-r--r-- | gnu-efi/inc/efisetjmp.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gnu-efi/inc/efisetjmp.h b/gnu-efi/inc/efisetjmp.h new file mode 100644 index 00000000..de69194b --- /dev/null +++ b/gnu-efi/inc/efisetjmp.h @@ -0,0 +1,10 @@ +#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 */ |