Home
last modified time | relevance | path

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

/Linux-v6.6/kernel/bpf/
Dverifier.c1429 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
1430 reg->u32_min_value != U32_MIN) in print_verifier_state()
1431 verbose_a("u32_min=%d", (int)(reg->u32_min_value)); in print_verifier_state()
1890 reg->u32_min_value = (u32)imm; in ___mark_reg_known()
1912 reg->u32_min_value = (u32)imm; in __mark_reg32_known()
2036 reg->u32_min_value = 0; in __mark_reg_unbounded()
2052 reg->u32_min_value = 0; in __mark_reg32_unbounded()
2066 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
2099 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
2100 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
[all …]
/Linux-v6.6/include/linux/
Dbpf_verifier.h155 u32 u32_min_value; /* minimum possible (u32)value */ member