/** @brief A context function */
typedef int(*xbt_context_function_t)(int argc, char *argv[]);
-/*@}*/
+/* @}*/
void xbt_context_init(void);
void xbt_context_exit(void);
void xbt_context_start(xbt_context_t context);
void xbt_context_yield(void);
void xbt_context_schedule(xbt_context_t context);
-/*@} */
+/* @} */
#endif /* _XBT_CONTEXT_H */