i think it works

code/boot/include/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) EFI_NORETURN;
+
+#endif /* GNU_EFI_SETJMP_H */