/* safe switch */
if (!TRACE_is_enabled()) return;
+ /* if platform is not traced, we don't allow marks */
+ if (!TRACE_needs_platform()) return;
+
if (!mark_type) return;
//check if mark_type is already declared
/* safe switch */
if (!TRACE_is_enabled()) return;
+ /* if platform is not traced, we don't allow marks */
+ if (!TRACE_needs_platform()) return;
+
if (!mark_type || !mark_value) return;
//check if mark_type is already declared