Searched refs:umin_val (Results 1 - 1 of 1) sorted by relevance

/linux-master/kernel/bpf/
H A Dverifier.c12917 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, local
12926 if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
12927 smin_val > smax_val || umin_val > umax_val) {
13037 if (umin_ptr + umin_val < umin_ptr ||
13042 dst_reg->umin_value = umin_ptr + umin_val;
13102 dst_reg->umax_value = umax_ptr - umin_val;
13148 u32 umin_val = src_reg->u32_min_value; local
13159 if (dst_reg->u32_min_value + umin_val < umin_val ||
13164 dst_reg->u32_min_value += umin_val;
13174 u64 umin_val = src_reg->umin_value; local
13200 u32 umin_val = src_reg->u32_min_value; local
13228 u64 umin_val = src_reg->umin_value; local
13255 u32 umin_val = src_reg->u32_min_value; local
13287 u64 umin_val = src_reg->umin_value; local
13391 u32 umin_val = src_reg->u32_min_value; local
13424 u64 umin_val = src_reg->umin_value; local
13513 __scalar32_min_max_lsh(struct bpf_reg_state *dst_reg, u64 umin_val, u64 umax_val) argument
13535 u32 umin_val = src_reg->u32_min_value; local
13549 __scalar64_min_max_lsh(struct bpf_reg_state *dst_reg, u64 umin_val, u64 umax_val) argument
13583 u64 umin_val = src_reg->umin_value; local
13599 u32 umin_val = src_reg->u32_min_value; local
13630 u64 umin_val = src_reg->umin_value; local
13663 u64 umin_val = src_reg->u32_min_value; local
13686 u64 umin_val = src_reg->umin_value; local
13723 u64 umin_val, umax_val; local
[all...]

Completed in 245 milliseconds