DF-4502 / run.log
=== 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.