#!/bin/sh
# DF-1212 — not runnable on this guest (no AHCI HW).
# Static source trace is the verification. See VERDICT.md.
echo "DF-1212: no runtime trigger on audit guest (no AHCI controller)."
echo "Verification is a static source trace; see VERDICT.md."
echo ""
echo "To confirm the bug location in source:"
test -f /home/maxx/dfbsd/dfbsd/sys/dev/disk/ahci/ahci.c && \
  sed -n '3970,3980p' /home/maxx/dfbsd/dfbsd/sys/dev/disk/ahci/ahci.c
exit 0