sanitize_val_alu 4647 kernel/bpf/verifier.c ret = sanitize_val_alu(env, insn); sanitize_val_alu 4671 kernel/bpf/verifier.c ret = sanitize_val_alu(env, insn);