#!/bin/sh
# DF-2432 run: load the ccd module and issue CCDIOCSET with ccio_ndisks=0.
# Must be run AS ROOT (kldload + open /dev/ccd0 O_WRONLY).
# Expected on the vulnerable kernel: kernel panic (divide error in ccdinit).
# Expected on a FIXED kernel: ioctl returns EINVAL.
set -e
kldload ccd 2>/dev/null || true
ls -l /dev/ccd0 2>/dev/null || { echo "run.sh: /dev/ccd0 missing even after kldload ccd"; exit 1; }
./poc "$@"