Home
last modified time | relevance | path

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

/linux-6.12.1/kernel/bpf/
Dverifier.c1938 struct tnum var32_off = tnum_subreg(reg->var_off); in __update_reg32_bounds() local
1942 var32_off.value | (var32_off.mask & S32_MIN)); in __update_reg32_bounds()
1945 var32_off.value | (var32_off.mask & S32_MAX)); in __update_reg32_bounds()
1946 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
1948 (u32)(var32_off.value | var32_off.mask)); in __update_reg32_bounds()
2235 struct tnum var32_off = tnum_intersect(tnum_subreg(var64_off), in __reg_bound_offset() local
2239 reg->var_off = tnum_or(tnum_clear_subreg(var64_off), var32_off); in __reg_bound_offset()
13640 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_and() local
13644 __mark_reg32_known(dst_reg, var32_off.value); in scalar32_min_max_and()
13651 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_and()
[all …]