cleanup
[rpikern] / src / libc / setjmp.c
diff --git a/src/libc/setjmp.c b/src/libc/setjmp.c
new file mode 100644 (file)
index 0000000..5cadbde
--- /dev/null
@@ -0,0 +1,11 @@
+#include <setjmp.h>
+
+int setjmp(jmp_buf buf)
+{
+       return __builtin_setjmp(buf);
+}
+
+void longjmp(jmp_buf buf, int val)
+{
+       __builtin_longjmp(buf, 1);
+}