# define _XBT_GNUC_FORMAT( arg_idx ) \
__attribute__((__format_arg__ (arg_idx)))
# define _XBT_GNUC_NORETURN __attribute__((__noreturn__))
+# define _XBT_GNUC_UNUSED __attribute__((unused))
#else /* !__GNUC__ */
# define _XBT_GNUC_PRINTF( format_idx, arg_idx )
# define _XBT_GNUC_SCANF( format_idx, arg_idx )
# define _XBT_GNUC_FORMAT( arg_idx )
# define _XBT_GNUC_NORETURN
+# define _XBT_GNUC_UNUSED
#endif /* !__GNUC__ */
/* End of cruft for C++ */
SG_BEGIN_DECL()
-/* Dunno where to place this: needed by config and amok */
-typedef struct {
- char *name;
- int port;
-} xbt_host_t;
const char *xbt_procname(void);
+#define XBT_BACKTRACE_SIZE 10 /* FIXME: better place? Do document */
+
SG_END_DECL()
#endif /* XBT_MISC_H */