Searched refs:extra_field_indent (Results 1 – 1 of 1) sorted by relevance
3612 const char *extra_field_indent = " "; in print_one_static_tracepoint_marker() local3654 uiout->text (extra_field_indent); in print_one_static_tracepoint_marker()3666 uiout->text (extra_field_indent); in print_one_static_tracepoint_marker()