|
@@ -1,9 +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);
|
|
|
-extern VOID longjmp(jmp_buf *env, UINTN value);
|
|
|
+extern UINTN setjmp(jmp_buf *env) __attribute__((returns_twice));
|
|
|
+extern VOID longjmp(jmp_buf *env, UINTN value) __attribute__((noreturn));
|
|
|
|
|
|
#endif /* GNU_EFI_SETJMP_H */
|