#!/bin/sh
# DF-1260 trigger run. Demonstrates the bug is NOT reachable on the audit
# guest: sound.ko creates /dev/dsp but open() fails because no pcm device
# is registered (no audio hardware => no snd_* driver attaches). The
# AIOGCAP NULL-deref needs a real pcm device with mixer_dev==NULL.
./trigger
echo "rc=$?"