#!/bin/sh
echo "DF-1059: FW_SBINDADDR/FW_CBINDADDR ir==NULL deref."
echo "Cannot trigger on this guest: no FireWire PCI controller, /dev/fw* absent."
echo "Bug confirmed by source review at sys/bus/firewire/fwdev.c:443,600,617."
echo "Expected panic with FW HW: 'page fault' in fw_ioctl."
exit 0