- void gras_timer_cancel_delay(double interval, void_f_void_t action);
- void gras_timer_cancel_repeat(double interval, void_f_void_t action);
+ XBT_PUBLIC void gras_timer_cancel_delay(double interval, void_f_void_t action);
+ XBT_PUBLIC void gras_timer_cancel_repeat(double interval, void_f_void_t action);