#!/bin/sh
# DF-0236 source-trace; latent on this guest (no watchdog registered).
set -e
cd "$(dirname "$0")"
echo "DF-0236: wdog_reset_all() invokes wdog_fn callbacks under spin_lock(&wdogmtx)."
echo "         (sys/kern/kern_wdog.c:96,99-100). Source-trace confirmed."
if command -v dmesg >/dev/null 2>&1; then
    echo "--- dmesg wdog (no 'Watchdog X registered' => list empty => latent) ---"
    dmesg | grep -i wdog
fi
echo "DF-0236: latent on this guest; needs amdsbwd/ichwd HW driver. See VERDICT.md."