#!/bin/sh
# DF-3700 trigger/inspection script: proves the stub and checks for a
# runnable i915 on this machine.
echo "== synchronize_irq stub (sys/dev/drm/include/linux/hardirq.h) =="
sed -n '30,38p' /usr/src/sys/dev/drm/include/linux/hardirq.h 2>/dev/null || \
	echo "(no /usr/src on this host - see VERDICT.md for the source)"
echo
echo "== i915 device presence =="
if command -v pciconf >/dev/null 2>&1; then
	pciconf -lv | grep -B1 -A3 "class=0x030000" || echo "no vga pci device"
	pciconf -lv | grep -i "0x1234" && echo "^ Bochs/QEMU std VGA (NOT Intel)"
fi
echo
echo "== i915 module presence =="
ls /boot/kernel 2>/dev/null | grep -i i915 || echo "no i915 module in /boot/kernel"
echo
echo "If an Intel i915 device + module were present, the runtime test would be:"
echo "  - keep a display pipe busy (modeset + CRC), toggle power wells via"
echo "    suspend/resume cycles, watch for hang on power-well disable"
echo "    (gen8_irq_power_well_pre_disable, i915_irq.c:3710)."