warnings.log

pointer_copy_user_ctrlflow_bytewise.c:278:[kernel] warning: all target addresses were invalid. This path is assumed to be dead.
stack: main
[eva:garbled-mix:summary] warning: Garbled mix generated during analysis:
{{ garbled mix of &{x}
  (origin: Misaligned {pointer_copy_user_ctrlflow_bytewise.c:267}) }}