Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c1764 reg->umax_value = imm; in ___mark_reg_known()
1908 reg->umax_value = U64_MAX; in __mark_reg_unbounded()
1921 reg->umax_value = U64_MAX; in __mark_reg64_unbounded()
1971 reg->umax_value = min(reg->umax_value, in __update_reg64_bounds()
1978 if (umin_in_tnum && tnum_next > reg->umax_value) { in __update_reg64_bounds()
1991 } else if (!umin_in_tnum && tnum_next <= reg->umax_value && in __update_reg64_bounds()
1992 tnum_step(reg->var_off, tnum_next) > reg->umax_value) { in __update_reg64_bounds()
2032 if ((reg->umin_value >> 32) == (reg->umax_value >> 32)) { in deduce_bounds_32_from_64()
2037 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->umax_value); in deduce_bounds_32_from_64()
2039 if ((s32)reg->umin_value <= (s32)reg->umax_value) { in deduce_bounds_32_from_64()
[all …]
/linux/include/linux/
H A Dbpf_verifier.h126 u64 umax_value; /* maximum possible (u64)value */ member