# 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);
- /** \brief Pointer to a function freeing a pointed data */
- typedef void (void_f_ppvoid_t)(void**);
- /** \brief Pointer to a function freeing some data */
- typedef void (void_f_pvoid_t) (void*);
-
+#define XBT_BACKTRACE_SIZE 10 /* FIXME: better place? Do document */
+
SG_END_DECL()
#endif /* XBT_MISC_H */