Home
last modified time | relevance | path

Searched refs:umin_value (Results 1 – 4 of 4) sorted by relevance

/linux-6.6.21/kernel/bpf/
Dverifier.c1418 if (reg->smin_value != reg->umin_value && in print_verifier_state()
1424 if (reg->umin_value != 0) in print_verifier_state()
1425 verbose_a("umin=%llu", (unsigned long long)reg->umin_value); in print_verifier_state()
1440 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
2100 reg->umin_value = imm; in ___mark_reg_known()
2246 reg->umin_value = 0; in __mark_reg_unbounded()
2259 reg->umin_value = 0; in __mark_reg64_unbounded()
2294 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
2348 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
2349 reg->umin_value); in __reg64_deduce_bounds()
[all …]
/linux-6.6.21/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c564 meta->umin_src = min(meta->umin_src, sreg->umin_value); in nfp_bpf_check_alu()
566 meta->umin_dst = min(meta->umin_dst, dreg->umin_value); in nfp_bpf_check_alu()
/linux-6.6.21/include/linux/
Dbpf_verifier.h151 u64 umin_value; /* minimum possible (u64)value */ member
/linux-6.6.21/Documentation/bpf/
Dverifier.rst173 it will have a umin_value (unsigned minimum value) of 9, whereas in the 'false'