Searched refs:u32_max_value (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 1982 reg->u32_max_value = (u32)imm; in ___mark_reg_known()
2004 reg->u32_max_value = (u32)imm; in __mark_reg32_known()
2134 reg->u32_max_value = U32_MAX; in __mark_reg_unbounded()
2150 reg->u32_max_value = U32_MAX; in __mark_reg32_unbounded()
2164 reg->u32_max_value = min(reg->u32_max_value, in __update_reg32_bounds()
2216 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->umax_value); in __reg32_deduce_bounds()
2227 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->smax_value); in __reg32_deduce_bounds()
2261 if ((s32)reg->u32_min_value <= (s32)reg->u32_max_value) { in __reg32_deduce_bounds()
2263 reg->s32_max_value = min_t(s32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
2271 reg->u32_max_value = min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
[all …]
|
| H A D | log.c | 633 {"umax32", reg->u32_max_value, reg->u32_max_value == U32_MAX}, in print_scalar_ranges()
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 145 u32 u32_max_value; /* maximum possible (u32)value */ member
|