bundletype OSEnvPanic_T =

{ include "${OSKITDIR}/oskit/dev/dev.h" osenv_panic osenv_vpanic }

C types:

void osenv_panic(const char *fmt,...) __attribute__((__noreturn__));
void osenv_vpanic(const char *fmt,void *vl) __attribute__((__noreturn__));