14 #define verbose(env, fmt, args...) bpf_verifier_log_write(env, fmt, ##args)  macro
378 	verbose(env, "%s", s); /* source code line */  in verbose_linfo()
384 	verbose(env, " @ %s:%u\n", fname, BPF_LINE_INFO_LINE_NUM(linfo->line_col));  in verbose_linfo()
525 		verbose(env, "%llu", num);  in verbose_unum()
527 		verbose(env, "%#llx", num);  in verbose_unum()
533 		verbose(env, "%lld", num);  in verbose_snum()
535 		verbose(env, "%#llx", num);  in verbose_snum()
597 		verbose(env, "%s%s=", *sep, m1->name);  in print_scalar_ranges()
608 			verbose(env, "%s=", m2->name);  in print_scalar_ranges()
622 #define verbose_a(fmt, ...) ({ verbose(env, "%s" fmt, sep, ##__VA_ARGS__); sep = ","; })
633 		verbose(env, "P");  in print_reg_state()
639 	verbose(env, "%s", reg_type_str(env, t));  in print_reg_state()
644 			verbose(env, "[%d]", reg->frameno);  in print_reg_state()
651 		verbose(env, "%s", btf_type_name(reg->btf, reg->btf_id));  in print_reg_state()
652 	verbose(env, "(");  in print_reg_state()
656 		verbose(env, "%+d", reg->delta);  in print_reg_state()
697 	verbose(env, ")");  in print_reg_state()
708 		verbose(env, " frame%d:", state->frameno);  in print_verifier_state()
715 		verbose(env, " R%d", i);  in print_verifier_state()
716 		verbose(env, "=");  in print_verifier_state()
748 			verbose(env, " fp%d=%s", (-i - 1) * BPF_REG_SIZE, types_buf);  in print_verifier_state()
756 			verbose(env, " fp%d", (-i - 1) * BPF_REG_SIZE);  in print_verifier_state()
757 			verbose(env, "=dynptr_%s(", dynptr_type_str(reg->dynptr.type));  in print_verifier_state()
762 			verbose(env, ")");  in print_verifier_state()
769 			verbose(env, " fp%d=iter_%s(id=%d,state=%s,depth=%u)",  in print_verifier_state()
778 			verbose(env, " fp%d=%s", (-i - 1) * BPF_REG_SIZE, types_buf);  in print_verifier_state()
783 		verbose(env, " refs=%d", vstate->refs[0].id);  in print_verifier_state()
786 				verbose(env, ",%d", vstate->refs[i].id);  in print_verifier_state()
789 		verbose(env, " cb");  in print_verifier_state()
791 		verbose(env, " async_cb");  in print_verifier_state()
792 	verbose(env, "\n");  in print_verifier_state()
809 		verbose(env, "%*c;", bpf_vlog_alignment(env->prev_insn_print_pos), ' ');  in print_insn_state()
811 		verbose(env, "%d:", env->insn_idx);  in print_insn_state()