#!/bin/sh
# DF-5011 control run — identical PoC but WITH MODULE_DEPEND(dimm,1,1,1).
# Expect: dimm.ko auto-loads as dependency; kldunload dimm refused (EBUSY);
# clean teardown. Proves the linker DOES protect declared dependents and that
# the residual defect is dimm.c's own draining unload for dep-less users
# (e.g. in-tree ecc_e3.c).
set -x
kldstat | grep dimm.ko || echo "dimm not loaded (clean state)"
kldload /root/df5011/deppoc.ko
kldstat | grep -E "dimm.ko|deppoc.ko"
sysctl hw.dimminfo | head -3
kldunload dimm
echo "CONTROL(deppoc dep + live ref): kldunload dimm rc=$?"
sysctl hw.dimminfo | head -1
kldunload deppoc
echo "deppoc clean unload rc=$?"
kldstat | grep dimm.ko || echo "dimm.ko released after deppoc unload (clean)"