#!/bin/sh
# guest-side run: pin loader+trigger to cpu0 (target cpu1), keep cpu1 busy in userland
usched :1 kldload /usr/obj/tmp/df2728/df2728.ko
(usched :2 /usr/local/bin/spin >/dev/null 2>&1 &)
sleep 1
usched :1 sysctl -n debug.df2728=3     # control: expect "ok, no panic"
usched :1 sysctl -n debug.df2728=1     # DF-2728 trigger: expect INVARIANTS panic