Lines Matching refs:verbose_a
1382 #define verbose_a(fmt, ...) ({ verbose(env, "%s" fmt, sep, __VA_ARGS__); sep = ","; }) in print_verifier_state() macro
1385 verbose_a("id=%d", reg->id); in print_verifier_state()
1387 verbose_a("ref_obj_id=%d", reg->ref_obj_id); in print_verifier_state()
1389 verbose_a("%s", "non_own_ref"); in print_verifier_state()
1391 verbose_a("off=%d", reg->off); in print_verifier_state()
1393 verbose_a("r=%d", reg->range); in print_verifier_state()
1397 verbose_a("ks=%d,vs=%d", in print_verifier_state()
1405 verbose_a("imm=%llx", reg->var_off.value); in print_verifier_state()
1409 verbose_a("smin=%lld", (long long)reg->smin_value); in print_verifier_state()
1412 verbose_a("smax=%lld", (long long)reg->smax_value); in print_verifier_state()
1414 verbose_a("umin=%llu", (unsigned long long)reg->umin_value); in print_verifier_state()
1416 verbose_a("umax=%llu", (unsigned long long)reg->umax_value); in print_verifier_state()
1421 verbose_a("var_off=%s", tn_buf); in print_verifier_state()
1425 verbose_a("s32_min=%d", (int)(reg->s32_min_value)); in print_verifier_state()
1428 verbose_a("s32_max=%d", (int)(reg->s32_max_value)); in print_verifier_state()
1431 verbose_a("u32_min=%d", (int)(reg->u32_min_value)); in print_verifier_state()
1434 verbose_a("u32_max=%d", (int)(reg->u32_max_value)); in print_verifier_state()
1436 #undef verbose_a in print_verifier_state()