{
  "finding_id": "DF-3861",
  "title": "amdgpu_device_fini never calls vm_phys_fictitious_unreg_range: leaks vm_page array + exhausts the 8-slot DRM shim (EBUSY driver-load DoS)",
  "verdict": "not_reproduced",
  "reproduce": {
    "build": "./build.sh (shell syntax check)",
    "run": "./run.sh (kldload/kldunload cycle on AMD hw; hardware gate documented here)",
    "expected": "on hw: M_DRM zone grows per cycle; 9th attach fails 'Failed to register fictitious range ... (16)' (EBUSY); i915/radeon also blocked until reboot"
  },
  "kernel_refs": ["sys/dev/drm/amd/amdgpu/amdgpu_device.c:2648", "sys/dev/drm/amd/amdgpu/amdgpu_device.c:2751", "sys/dev/drm/drm_vm.c:144", "sys/dev/drm/drm_vm.c:173", "sys/dev/drm/drm_vm.c:203", "sys/dev/drm/radeon/radeon_device.c:1565"],
  "artifacts": ["README.md", "VERDICT.md", "leak_fictitious.sh", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}