Home
last modified time | relevance | path

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

/linux-6.15/kernel/bpf/
H A Dverifier.c14461 if (umin_ptr < umax_val) { in adjust_ptr_min_max_vals()
14580 u64 umax_val = src_reg->umax_value; in scalar_min_max_sub() local
14594 dst_reg->umin_value -= umax_val; in scalar_min_max_sub()
14691 u64 umax_val = src_reg->umax_value; in scalar_min_max_and() local
14840 u64 umin_val, u64 umax_val) in __scalar32_min_max_lsh() argument
14848 if (umax_val > 31 || dst_reg->u32_max_value > 1ULL << (31 - umax_val)) { in __scalar32_min_max_lsh()
14876 u64 umin_val, u64 umax_val) in __scalar64_min_max_lsh() argument
14901 dst_reg->umax_value <<= umax_val; in __scalar64_min_max_lsh()
14908 u64 umax_val = src_reg->umax_value; in scalar_min_max_lsh() local
14955 u64 umax_val = src_reg->umax_value; in scalar_min_max_rsh() local
[all …]