__reg_combine_min_max 5669 kernel/bpf/verifier.c __reg_combine_min_max(true_src, true_dst); __reg_combine_min_max 5672 kernel/bpf/verifier.c __reg_combine_min_max(false_src, false_dst);