platform_disable_tracing
void platform_disable_tracing(int);
platform_disable_tracing(1); /* strict */
platform_disable_tracing(0); /* strict=no */