Searched refs:umax_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) {
13038 umax_ptr + umax_val < umax_ptr) {
13043 dst_reg->umax_value = umax_ptr + umax_val;
13095 if (umin_ptr < umax_val) {
13101 dst_reg->umin_value = umin_ptr - umax_val;
13149 u32 umax_val = src_reg->u32_max_value; local
13160 dst_reg->u32_max_value + umax_val < umax_val) {
13175 u64 umax_val = src_reg->umax_value; local
13201 u32 umax_val = src_reg->u32_max_value; local
13229 u64 umax_val = src_reg->umax_value; local
13256 u32 umax_val = src_reg->u32_max_value; local
13288 u64 umax_val = src_reg->umax_value; local
13322 u32 umax_val = src_reg->u32_max_value; local
13355 u64 umax_val = src_reg->umax_value; local
13513 __scalar32_min_max_lsh(struct bpf_reg_state *dst_reg, u64 umin_val, u64 umax_val) argument
13534 u32 umax_val = src_reg->u32_max_value; local
13549 __scalar64_min_max_lsh(struct bpf_reg_state *dst_reg, u64 umin_val, u64 umax_val) argument
13582 u64 umax_val = src_reg->umax_value; local
13598 u32 umax_val = src_reg->u32_max_value; local
13629 u64 umax_val = src_reg->umax_value; local
13723 u64 umin_val, umax_val; local
[all...]

Completed in 233 milliseconds