Sign in
fuchsia
/
gigaboot20x6
/
59aba9d66dccb49a8c3aeaf9dc396e019dfe8e19
/
.
/
third_party
/
gnu-efi
/
inc
/
efisetjmp.h
blob: da8d050b5717a6f5c1bed554a309f2928a794568 [
file
] [
log
] [
blame
]
#ifndef
GNU_EFI_SETJMP_H
#define
GNU_EFI_SETJMP_H
#include
"efisetjmp_arch.h"
extern
UINTN setjmp
(
jmp_buf
*
env
);
extern
VOID longjmp
(
jmp_buf
*
env
,
UINTN value
);
#endif
/* GNU_EFI_SETJMP_H */