{
  "finding_id": "DF-2480",
  "verdict": "reproduced",
  "impact": "corruption",
  "reproduce": {
    "build": "sh build.sh (guest, root, /usr/src required)",
    "run": "kldload dfv_mmcsd.ko; for i in 0 1 2 3 4; do sysctl kern.dfv_mmcsd_run=$i >/dev/null; sysctl -n kern.dfv_mmcsd_status; done",
    "expected": "run.log: 2TiB -> cmd.arg=0x00000000 (expected 0x100000000) TRUNCATED/WRONG; 4TiB -> 0x00003039; control 0x3e8 CORRECT."
  },
  "kernel_refs": [
    "sys/dev/disk/mmcsd/mmcsd.c:327",
    "sys/dev/disk/mmcsd/mmcsd.c:328",
    "sys/dev/disk/mmcsd/mmcsd.c:345",
    "sys/dev/disk/mmcsd/mmcsd.c:415",
    "sys/sys/types.h:80"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.sh",
    "run.log",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}