Sync/gnu-efi/inc/efisetjmp.h
Curle d588e232c4 Major overhaul of this branch.
This branch has been dedicated to purely the UEFI bootloader.
As such, all other code has been removed.

This code can be compiled with Visual Studio, gcc or llvm.
2019-07-17 21:10:29 +01:00

11 lines
276 B
C

#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 */