Home
last modified time | relevance | path

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

/Linux-v5.10/kernel/bpf/
Dverifier.c613 if (reg->smin_value != reg->umin_value && in print_verifier_state()
621 if (reg->umin_value != 0) in print_verifier_state()
623 (unsigned long long)reg->umin_value); in print_verifier_state()
641 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
1019 reg->umin_value = imm; in ___mark_reg_known()
1105 reg->umin_value = 0; in __mark_reg_unbounded()
1118 reg->umin_value = 0; in __mark_reg64_unbounded()
1153 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
1207 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1208 reg->umin_value); in __reg64_deduce_bounds()
[all …]
/Linux-v5.10/include/linux/
Dbpf_verifier.h128 u64 umin_value; /* minimum possible (u64)value */ member
/Linux-v5.10/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.10/Documentation/networking/
Dfilter.rst1227 it will have a umin_value (unsigned minimum value) of 9, whereas in the 'false'