Symbol: __reg32_bound_s64
kernel/bpf/verifier.c
2851
if (__reg32_bound_s64(reg->s32_min_value) &&
kernel/bpf/verifier.c
2852
__reg32_bound_s64(reg->s32_max_value)) {