Home
last modified time | relevance | path

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

/Linux-v4.19/kernel/bpf/
Dverifier.c327 if (reg->smin_value != reg->umin_value && in print_verifier_state()
335 if (reg->umin_value != 0) in print_verifier_state()
337 (unsigned long long)reg->umin_value); in print_verifier_state()
560 reg->umin_value = imm; in __mark_reg_known()
626 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg_bounds()
640 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg_deduce_bounds()
641 reg->umin_value); in __reg_deduce_bounds()
653 reg->smin_value = reg->umin_value; in __reg_deduce_bounds()
656 } else if ((s64)reg->umin_value < 0) { in __reg_deduce_bounds()
660 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg_deduce_bounds()
[all …]
/Linux-v4.19/include/linux/
Dbpf_verifier.h77 u64 umin_value; /* minimum possible (u64)value */ member
/Linux-v4.19/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c535 meta->umin_src = min(meta->umin_src, sreg->umin_value); in nfp_bpf_check_alu()
537 meta->umin_dst = min(meta->umin_dst, dreg->umin_value); in nfp_bpf_check_alu()
/Linux-v4.19/Documentation/networking/
Dfilter.txt1148 it will have a umin_value (unsigned minimum value) of 9, whereas in the 'false'