{
  "verdict": "reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "cd /usr/src && make -j6 nativekernel KERNCONF=VKERNEL64 || true; cd /usr/obj/usr/src/sys/VKERNEL64; make -n kernel.debug | grep '^cc .*kernel.debug' > /tmp/linkcmd.txt; sh -c \"$(cat /tmp/linkcmd.txt) -Wl,--defsym,__build_id_start=0 -Wl,--defsym,__build_id_end=0\"; sh vk_image.sh",
    "run": "sysctl vm.vkernel_enable=1; mkdir -p /var/vkernel; sh vk_probe4.sh",
    "expected": "run.log: DDB battery -> is_globaldata_space(0x8000420123,...)=1, kernacc(dead)=1, pmap_kextract(dead)=123, kvm_access_check(dead page)=e(EFAULT), live probes 1/197040/1; scan: PG 0 OK .. PG 16 EF and uniform EFAULT to PG 1699, no panic"
  },
  "kernel_refs": [
    "sys/platform/vkernel64/platform/globaldata.c:82",
    "sys/platform/vkernel64/platform/globaldata.c:85",
    "sys/platform/vkernel64/platform/init.c:727",
    "sys/platform/vkernel64/platform/init.c:733",
    "sys/platform/vkernel64/platform/init.c:389",
    "sys/platform/vkernel64/x86_64/mp.c:407",
    "sys/vm/vm_glue.c:119",
    "sys/platform/vkernel64/x86_64/vm_machdep.c:322",
    "sys/cpu/x86_64/include/param.h:71",
    "sys/platform/pc64/x86_64/machdep.c:2964"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "vk_image.sh", "vk_probe4.sh", "vk_probe5.sh",
    "vk_probe6.sh", "fix.diff", "build.log", "run.log", "run.fixed.log",
    "driver4.log", "driver4fixed2.log", "ddb_artifact_panic.txt", "env.txt",
    "manifest.json", "verdict.json"
  ]
}