#!/bin/sh
# DF-0533: not runnable on this guest. Confirm the driver/bus is absent.
cd "$(dirname "$0")"
echo "ng_bt3c module present? $(ls /boot/kernel/ng_bt3c* 2>/dev/null || echo NO)"
echo "bt3c in kernel?         $(nm /boot/kernel/kernel 2>/dev/null | grep -c bt3c_intr) symbols"
echo "PCMCIA bus?             $(devinfo 2>/dev/null | grep -ciE 'pccbb|pccard|cardbus')"
echo "=> race is latent (dead code) on this guest; source trace in VERDICT.md"