230 static void diag_write(struct bpf_verifier_env *env, const char *fmt, ...) __printf(2, 3);
371 static void diag_write(struct bpf_verifier_env *env, const char *fmt, ...)  in diag_write()  function
508 		diag_write(env, "%s%.*s\n", prefix, len, line);  in diag_print_wrapped_prefixed()
554 		diag_write(env, "%s<failed to allocate diagnostic text>\n", BPF_DIAG_TEXT_INDENT);  in diag_vprint_indented()
712 		diag_write(env, "\nVerification failed: %s\n", category);  in bpf_diag_header()
717 	diag_write(env, "\nVerification failed: %s: %c%s\n", category, first, problem + 1);  in bpf_diag_header()
729 	diag_write(env, "\n%s:\n", title);  in diag_section()
758 	diag_write(env, "\n");  in diag_suggestion()
786 	diag_write(env, "  Instruction context:\n");  in diag_print_insn_context()
791 			diag_write(env, "  %s%*d | %s\n",  in diag_print_insn_context()
837 		diag_write(env, "  insn %u\n", insn_idx);  in bpf_diag_source()
845 		diag_write(env, "  %s @ %s:%d:%d\n", func, src.file, src.line_num, src.line_col);  in bpf_diag_source()
847 		diag_write(env, "  %s:%d:%d\n", src.file, src.line_num, src.line_col);  in bpf_diag_source()
877 	diag_write(env, "  Source context:\n");  in bpf_diag_source()
887 		diag_write(env, "  %s\n", source_lane);  in bpf_diag_source()
2318 				diag_write(env, "\n");  in diag_print_history()
2320 			diag_write(env, "  %u intermediate causal-history events omitted\n",  in diag_print_history()
2327 			diag_write(env, "\n");  in diag_print_history()
2353 		diag_write(env, "  no retained diagnostic events on this path\n");  in diag_print_history()
2355 		diag_write(env, "  %llu older causal-history event%s not retained because diagnostic "  in diag_print_history()