#!/bin/sh
# DF-5117 trigger — dmamap_cb error-path continuation
#
# REQUIRES: FireWire OHCI controller AND a bus_dmamap_load failure for the
# dcons buffer, which DF/amd64 busdma cannot produce for a valid
# contigmalloc'd kernel buffer with WAITOK forced (busdma_machdep.c:782-783).
# Exit 42 without FireWire hardware; on hardware this remains a code-audit
# finding only (error injection would need a kldload-time patch of
# _bus_dmamap_load_buffer to force EDOOFUS).

set -u
pciconf -l 2>/dev/null | grep -q 'class=0x0c0010' || {
	echo "DF-5117: no FireWire controller - untestable here"; exit 42; }
echo "DF-5117: even with hardware, the load-failure precondition is not"
echo "reachable on DF/amd64 without error injection - see VERDICT.md"
exit 42