+ if (!IS_TRACING) return;
+ if (!mark_type || !mark_value) return;
+
+ pajeNewEvent (MSG_get_clock(), mark_type, "0", mark_value);
+}
+
+int TRACE_smpi_set_category (const char *category)
+{
+ //if category is NULL, trace of platform is disabled
+ if (!IS_TRACING) return 1;
+ if (category != NULL){
+ int ret = TRACE_category (category);
+ __TRACE_category_set (SIMIX_process_self(), category);
+ return ret;