#!/bin/sh
# guest-side run: load module, execute the deterministic trigger, unload
kldload /usr/obj/tmp/df2788/df2788.ko || exit 1
sysctl -n debug.df2788=1
sleep 1
echo "result=$(sysctl -n debug.df2788_result)"
kldunload df2788