Home
last modified time | relevance | path

Searched refs:smax_value (Results 1 – 2 of 2) sorted by relevance

/linux-6.3-rc2/kernel/bpf/
A Dverifier.c1545 reg->smax_value = (s64)imm; in ___mark_reg_known()
1685 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
1698 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
1732 reg->smax_value = min_t(s64, reg->smax_value, in __update_reg64_bounds()
1790 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg64_deduce_bounds()
1802 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg64_deduce_bounds()
1868 reg->smax_value = U32_MAX; in __reg_assign_32_into_64()
12105 false_reg->smax_value = min(false_reg->smax_value, false_smax); in reg_set_min_max()
12144 true_reg->smax_value = min(true_reg->smax_value, true_smax); in reg_set_min_max()
12193 src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value, in __reg_combine_min_max()
[all …]
/linux-6.3-rc2/include/linux/
A Dbpf_verifier.h127 s64 smax_value; /* maximum possible (s64)value */ member

Completed in 33 milliseconds