Home
last modified time | relevance | path

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

/Linux-v5.15/kernel/bpf/
Dverifier.c1240 struct tnum var32_off = tnum_subreg(reg->var_off); in __update_reg32_bounds() local
1244 var32_off.value | (var32_off.mask & S32_MIN)); in __update_reg32_bounds()
1247 var32_off.value | (var32_off.mask & S32_MAX)); in __update_reg32_bounds()
1248 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
1250 (u32)(var32_off.value | var32_off.mask)); in __update_reg32_bounds()
1353 struct tnum var32_off = tnum_intersect(tnum_subreg(reg->var_off), in __reg_bound_offset() local
1357 reg->var_off = tnum_or(tnum_clear_subreg(var64_off), var32_off); in __reg_bound_offset()
7361 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_and() local
7366 __mark_reg32_known(dst_reg, var32_off.value); in scalar32_min_max_and()
7373 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_and()
[all …]