CHECK: spaces preferred around that '/' (ctx:VxV)
#138: FILE: kernel/bpf/verifier.c:2485:
+		int mid = (low + high)/2;
 		                      ^

WARNING: line length of 98 exceeds 80 columns
#170: FILE: kernel/bpf/verifier.c:4530:
+static void check_nocsr_stack_contract(struct bpf_verifier_env *env, struct bpf_func_state *state,

WARNING: line length of 81 exceeds 80 columns
#249: FILE: kernel/bpf/verifier.c:16023:
+		mask |= fn->arg_type[i] == ARG_DONTCARE ? 0 : BIT(BPF_REG_1 + i);

WARNING: line length of 81 exceeds 80 columns
#348: FILE: kernel/bpf/verifier.c:16122:
+ *   r1 = *(u64 *)(r10 - 8);             r0 = *(u64 *)(r10 - 8);  <---- wrong !!!

WARNING: line length of 87 exceeds 80 columns
#353: FILE: kernel/bpf/verifier.c:16127:
+static int match_and_mark_nocsr_pattern(struct bpf_verifier_env *env, int t, bool mark)

WARNING: line length of 87 exceeds 80 columns
#365: FILE: kernel/bpf/verifier.c:16139:
+	for (i = 1, off = 0; i <= ARRAY_SIZE(caller_saved); ++i, off += BPF_REG_SIZE) {

WARNING: line length of 87 exceeds 80 columns
#476: FILE: kernel/bpf/verifier.c:21069:
+			if ((insn - j)->off >= subprogs[cur_subprog].nocsr_stack_off ||

WARNING: line length of 85 exceeds 80 columns
#477: FILE: kernel/bpf/verifier.c:21070:
+			    (insn + j)->off >= subprogs[cur_subprog].nocsr_stack_off)

total: 0 errors, 7 warnings, 1 checks, 410 lines checked

NOTE: For some of the reported defects, checkpatch may be able to
      mechanically convert to the typical style using --fix or --fix-inplace.

Commit e4e6ab6762ed ("bpf: no_caller_saved_registers attribute for helper calls") has style problems, please review.

NOTE: Ignored message types: ALLOC_SIZEOF_STRUCT BAD_REPORTED_BY_LINK CAMELCASE COMMIT_LOG_LONG_LINE GIT_COMMIT_ID MACRO_ARG_REUSE NO_AUTHOR_SIGN_OFF

NOTE: If any of the errors are false positives, please report
      them to the maintainer, see CHECKPATCH in MAINTAINERS.
total: 0 errors, 7 warnings, 1 checks, 410 lines checked