#!/bin/sh
# DF-1038 run — no HW; verifies nothing at runtime, prints expected behavior.
echo "DF-1038: wsp_intr_callback TYPE1 NULL deref."
echo "Cannot trigger on this guest: no Apple WSP trackpad USB HW in QEMU."
echo "Bug confirmed by source review at sys/bus/u4b/input/wsp.c:884,920,966."
echo "Expected panic with WSP USB HW: 'page fault while in kernel mode' in wsp_intr_callback."
exit 0