⬢ DragonFlyBSD Kernel Audit
DF-4490 / verdict.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
{
  "finding_id": "DF-4490",
  "poc_id": "DF-4490",
  "status": "untested",
  "reproduced": 0,
  "impact": "Permanent loss of EC-mediated event delivery (lid suspend, brightness/hotkeys, battery/AC/thermal notifies) plus transient EC I/O degradation to polled mode; availability only",
  "confidence": "likely",
  "attempts": 0,
  "guest_uname": null,
  "code_hash": null,
  "exploit_chain": [],
  "evidence": "ec_sci_pend published after the async LWKT sendmsg enqueue; consumer can sample FALSE, skip AcpiFinishGpe, and the GPE handlers return 0 leaves the GPE disabled forever (ACPICA contract evgpe.c:1023-1037). Low availability race; QEMU guest DSDT has no PNP0C09 so acpi_ec never attaches there (verified live).",
  "kernel_refs": [
    "sys/dev/acpica/acpi_ec.c:693",
    "sys/dev/acpica/acpi_ec.c:739",
    "sys/dev/acpica/acpi_ec.c:777",
    "sys/dev/acpica/acpi_ec.c:778"
  ],
  "verdict": "not_run: Low availability race, hardware-gated on guest (no EC device)",
  "fix_status": "not_testable",
  "fix_baseline_reproduced": 0,
  "fix_patched_reproduced": 0,
  "fix_verdict": "not_testable",
  "fix_evidence": "set-flag-before-enqueue + rollback-on-failure diff in finding markdown"
}