{
  "finding_id": "DF-5467",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "scp -F dfbsd-qemu/config df5467.c dfbsd:/tmp/df5467/ && vm.sh run_root 'cd /tmp/df5467 && make'   (Makefile: KMOD=df5467 SRCS=df5467.c device_if.h bus_if.h pci_if.h)",
    "run": "vm.sh run_root 'kldload /tmp/df5467/df5467.ko'",
    "expected": "CONTROL map/unmap/remap/unmap clean; BUG phase: map -> flip -> unmap -> 'Fatal trap 12: page fault while in kernel mode' at the ROM kva (supervisor read data, page not present). kenv df5467.touch=1 opts into the direct PTE probe. Unfixed kernel panics; fix.diff kernel completes cleanly (fix_run.log)."
  },
  "kernel_refs": [
    "sys/bus/pci/vga_pci.c:163",
    "sys/bus/pci/vga_pci.c:175",
    "sys/bus/pci/vga_pci.c:190",
    "sys/bus/pci/vga_pci.c:197",
    "sys/bus/pci/vga_pci.c:217",
    "sys/bus/pci/vga_pci.c:277",
    "sys/bus/pci/vga_pci.c:288",
    "sys/bus/pci/vga_pci.c:290",
    "sys/bus/pci/vga_pci.c:292",
    "sys/bus/pci/vga_pci.c:314",
    "sys/bus/pci/vga_pci.c:94",
    "sys/bus/pci/vga_pci.c:139",
    "sys/platform/pc64/x86_64/pmap.c:6223",
    "sys/platform/pc64/x86_64/pmap.c:6230",
    "sys/platform/pc64/x86_64/pmap.c:6231",
    "sys/platform/pc64/x86_64/pmap.c:2177",
    "sys/dev/drm/radeon/radeon_bios.c:86"
  ],
  "artifacts": [
    "df5467.c",
    "Makefile",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "run.2.log",
    "fix_run.log",
    "fix_build.log",
    "serial-full.log",
    "panic.txt",
    "env.txt",
    "fix.diff",
    "VERDICT.md",
    "manifest.json",
    "verdict.json"
  ]
}