{
  "finding_id": "DF-5535",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "cd /root/mddiag && make (bsd.kmod.mk)",
    "run": "kldload mddiag.ko; sysctl debug.mddiag=maptest; after reboot: dumpchk /var/crash/vmcore.N <pa1> <pa2>",
    "expected": "baseline: slot-8191 page CLEAR (missing from dump), slot-8190 control SET; patched: both SET"
  },
  "kernel_refs": [
    "sys/platform/pc64/x86_64/minidump_machdep.c:238",
    "sys/platform/pc64/x86_64/minidump_machdep.c:252",
    "sys/platform/pc64/x86_64/minidump_machdep.c:385",
    "sys/platform/pc64/include/vmparam.h:116",
    "sys/platform/pc64/x86_64/pmap.c:1022"
  ],
  "artifacts": ["README.md","VERDICT.md","mddiag.c","dumpchk.c","build.sh","run.sh","run.log","run.patched.log","env.txt","fix.diff","manifest.json","verdict.json"]
}