{
  "finding_id": "DF-4904",
  "title": "Unsigned underflow in k8_powernow_setperf Phase-1 voltage ramp writes malformed MSR 0xc0010041",
  "verdict": "untested",
  "impact": "dos",
  "confidence": "likely",
  "reproduce": {
    "build": "cc -Wall -O2 -o sim_vidunderflow sim_vidunderflow.c",
    "run": "./sim_vidunderflow",
    "expected": "(val > 0) as evaluated = TRUE with val=0xfffffffd; WRMSR value 0x000000fffffffd0a; reserved bits 13-31 = 0x7ffff garbage (kernel execution needs AMD K8; guest is Intel/QEMU and the module gate refuses)"
  },
  "kernel_refs": ["sys/dev/powermng/powernow/powernow.c:231", "sys/dev/powermng/powernow/powernow.c:260", "sys/dev/powermng/powernow/powernow.c:262", "sys/dev/powermng/powernow/powernow.c:76"],
  "artifacts": ["README.md", "VERDICT.md", "sim_vidunderflow.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}