14 #define verbose(env, fmt, args...) bpf_verifier_log_write(env, fmt, ##args)  macro
419 	verbose(env, "%s", s); /* source code line */  in verbose_linfo()
425 	verbose(env, " @ %s:%u\n", fname, BPF_LINE_INFO_LINE_NUM(linfo->line_col));  in verbose_linfo()
546 	    verbose(env, "_");  in print_liveness()
548 		verbose(env, "r");  in print_liveness()
550 		verbose(env, "w");  in print_liveness()
552 		verbose(env, "D");  in print_liveness()
572 		verbose(env, "%llu", num);  in verbose_unum()
574 		verbose(env, "%#llx", num);  in verbose_unum()
580 		verbose(env, "%lld", num);  in verbose_snum()
582 		verbose(env, "%#llx", num);  in verbose_snum()
642 		verbose(env, "%s%s=", *sep, m1->name);  in print_scalar_ranges()
653 			verbose(env, "%s=", m2->name);  in print_scalar_ranges()
678 #define verbose_a(fmt, ...) ({ verbose(env, "%s" fmt, sep, ##__VA_ARGS__); sep = ","; })
689 		verbose(env, "P");  in print_reg_state()
695 	verbose(env, "%s", reg_type_str(env, t));  in print_reg_state()
700 			verbose(env, "[%d]", reg->frameno);  in print_reg_state()
707 		verbose(env, "%s", btf_type_name(reg->btf, reg->btf_id));  in print_reg_state()
708 	verbose(env, "(");  in print_reg_state()
712 		verbose(env, "%+d", reg->off);  in print_reg_state()
753 	verbose(env, ")");  in print_reg_state()
763 		verbose(env, " frame%d:", state->frameno);  in print_verifier_state()
770 		verbose(env, " R%d", i);  in print_verifier_state()
772 		verbose(env, "=");  in print_verifier_state()
804 			verbose(env, " fp%d", (-i - 1) * BPF_REG_SIZE);  in print_verifier_state()
806 			verbose(env, "=%s", types_buf);  in print_verifier_state()
814 			verbose(env, " fp%d", (-i - 1) * BPF_REG_SIZE);  in print_verifier_state()
816 			verbose(env, "=dynptr_%s(", dynptr_type_str(reg->dynptr.type));  in print_verifier_state()
823 			verbose(env, ")");  in print_verifier_state()
830 			verbose(env, " fp%d", (-i - 1) * BPF_REG_SIZE);  in print_verifier_state()
832 			verbose(env, "=iter_%s(ref_id=%d,state=%s,depth=%u)",  in print_verifier_state()
840 			verbose(env, " fp%d", (-i - 1) * BPF_REG_SIZE);  in print_verifier_state()
842 			verbose(env, "=%s", types_buf);  in print_verifier_state()
847 		verbose(env, " refs=%d", state->refs[0].id);  in print_verifier_state()
850 				verbose(env, ",%d", state->refs[i].id);  in print_verifier_state()
853 		verbose(env, " cb");  in print_verifier_state()
855 		verbose(env, " async_cb");  in print_verifier_state()
856 	verbose(env, "\n");  in print_verifier_state()
872 		verbose(env, "%*c;", vlog_alignment(env->prev_insn_print_pos), ' ');  in print_insn_state()
874 		verbose(env, "%d:", env->insn_idx);  in print_insn_state()