Home
last modified time | relevance | path

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

/Linux-v5.4/kernel/bpf/
Dverifier.c477 if (reg->smin_value != reg->umin_value && in print_verifier_state()
485 if (reg->umin_value != 0) in print_verifier_state()
487 (unsigned long long)reg->umin_value); in print_verifier_state()
868 reg->umin_value = imm; in __mark_reg_known()
933 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg_bounds()
947 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg_deduce_bounds()
948 reg->umin_value); in __reg_deduce_bounds()
960 reg->smin_value = reg->umin_value; in __reg_deduce_bounds()
963 } else if ((s64)reg->umin_value < 0) { in __reg_deduce_bounds()
967 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg_deduce_bounds()
[all …]
/Linux-v5.4/include/linux/
Dbpf_verifier.h122 u64 umin_value; /* minimum possible (u64)value */ member
/Linux-v5.4/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c559 meta->umin_src = min(meta->umin_src, sreg->umin_value); in nfp_bpf_check_alu()
561 meta->umin_dst = min(meta->umin_dst, dreg->umin_value); in nfp_bpf_check_alu()
/Linux-v5.4/Documentation/networking/
Dfilter.txt1161 it will have a umin_value (unsigned minimum value) of 9, whereas in the 'false'