__intel_pt_log
void __intel_pt_log(const char *fmt, ...) __printf(1, 2);
__intel_pt_log(fmt, ##__VA_ARGS__); \