-XBT_PUBLIC(void) xbt_cfg_register(xbt_cfg_t cfg,
- const char *name, e_xbt_cfgelm_type_t type,
- int min, int max,
+XBT_PUBLIC(void) xbt_cfg_register(xbt_cfg_t * cfg,
+ const char *name, const char *description,
+ e_xbt_cfgelm_type_t type,
+ void *default_value, int min, int max,