#!/bin/sh
# DF-1388 runtime probe. On the audit guest this demonstrates the code path is UNREACHABLE
# (no i915 hardware => driver never attaches). On real hardware it would
# exercise the bug; see VERDICT.md "Live trigger conditions".
echo "== DF-1388: probing reachability on guest =="
pciconf -lv 2>/dev/null | grep -iE "class=0x01|class=0x03|class=0x04|display|scsi|sas|raid" || true
kldstat 2>/dev/null | grep -iE "i915" || echo "(no i915 module loaded)"
ls /dev/fd0 /dev/dri /dev/dsp* 2>&1 | head
echo "DF-1388: bug CONFIRMED in source (sys/dev/drm/i915/intel_bios.c:83) but NOT runtime-reachable on this guest (no hardware)."