reg_type_mismatch 7696 kernel/bpf/verifier.c 			} else if (reg_type_mismatch(src_reg_type, *prev_src_type)) {
reg_type_mismatch 7741 kernel/bpf/verifier.c 			} else if (reg_type_mismatch(dst_reg_type, *prev_dst_type)) {