⬢ DragonFlyBSD Kernel Audit
DF-4502 / run.log
← back to finding ↓ download raw
=== DF-4502 run on guest ===
$ ./trigger_DF4502 0
Re-scan of bus 0 was successful    (x64)
done: 64 camcontrol rescan rounds on bus 0 (rc=0)
$
RESULT: no panic -- EXPECTED on this guest: there is no ahci(4)
controller (PCI list: PIIX3 IDE atapci0 + virtio only; ahci.ko present
but no device), so no ahci port, no port multiplier, and the leaked-
reservation precondition (PM softreset double-failure) cannot exist.
The detonation path (XPT_PATH_INQ wildcard -> ahci_port_state_machine)
is exercised against the ata(4) CAM buses, proving the CAM plumbing of
the trigger works; the ahci-specific sink is simply absent.