Home
last modified time | relevance | path

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

/linux-6.3-rc2/kernel/bpf/
A Dverifier.c1552 reg->u32_max_value = (u32)imm; in ___mark_reg_known()
1574 reg->u32_max_value = (u32)imm; in __mark_reg32_known()
1692 reg->u32_max_value = U32_MAX; in __mark_reg_unbounded()
1708 reg->u32_max_value = U32_MAX; in __mark_reg32_unbounded()
1722 reg->u32_max_value = min(reg->u32_max_value, in __update_reg32_bounds()
1828 reg->u32_max_value)); in __reg_bound_offset()
10883 dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val); in scalar32_min_max_and()
11796 if (reg->u32_max_value < val) in is_branch32_taken()
12079 false_reg->u32_max_value = min(false_reg->u32_max_value, in reg_set_min_max()
12119 true_reg->u32_max_value = min(true_reg->u32_max_value, in reg_set_min_max()
[all …]
/linux-6.3-rc2/include/linux/
A Dbpf_verifier.h133 u32 u32_max_value; /* maximum possible (u32)value */ member

Completed in 33 milliseconds