Curle
d588e232c4
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.
11 lines
276 B
C
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 */
|