Initial commit

2023-10-29 16:42:16 +01:00
commit 4ede0f9eb0
207 changed files with 34545 additions and 0 deletions
@@ -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 */