Home
last modified time | relevance | path

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

/linux-6.1.9/kernel/bpf/
Dverifier.c897 if (reg->smin_value != reg->umin_value && in print_verifier_state()
903 if (reg->umin_value != 0) in print_verifier_state()
904 verbose_a("umin=%llu", (unsigned long long)reg->umin_value); in print_verifier_state()
919 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
1340 reg->umin_value = imm; in ___mark_reg_known()
1453 reg->umin_value = 0; in __mark_reg_unbounded()
1466 reg->umin_value = 0; in __mark_reg64_unbounded()
1501 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
1555 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1556 reg->umin_value); in __reg64_deduce_bounds()
[all …]
/linux-6.1.9/include/linux/
Dbpf_verifier.h161 u64 umin_value; /* minimum possible (u64)value */ member
/linux-6.1.9/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.1.9/Documentation/bpf/
Dverifier.rst173 it will have a umin_value (unsigned minimum value) of 9, whereas in the 'false'