diff -r 000000000000 -r bde4ae8d615e os/ossrv/genericopenlibs/openenvcore/include/machine/setjmp.dosc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/os/ossrv/genericopenlibs/openenvcore/include/machine/setjmp.dosc	Fri Jun 15 03:10:57 2012 +0200
@@ -0,0 +1,19 @@
+/** @file ../include/machine/setjmp.h
+@internalComponent
+*/
+
+/** @def _JBLEN	
+
+size of the jmp_buf on x86
+
+@publishedAll
+@released
+*/
+
+/** @typedef typedef	_JBTYPE jmp_buf[_JBLEN]
+
+unsigned long
+
+@publishedAll
+@released
+*/