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

/linux-master/kernel/bpf/
H A Dverifier.c6227 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val; local
6259 s32_max = max(init_s32_max, init_s32_min);
6262 if ((s32_min >= 0) == (s32_max >= 0)) {
6264 reg->s32_max_value = s32_max;
6266 reg->u32_max_value = (u32)s32_max;

Completed in 147 milliseconds