$ kldload /root/df4996/df4996.ko && dmesg | grep -E "DF4996|DF4997"
DF4996/DF4997 mechanism prover loaded
DF4997: sizeof(struct lock)=32 sizeof(struct mbufq)=24
DF4997: rt2560_softc size=7920: sc_st=7360 sc_sh=7368 watchdog_ch=7376 sc_tx_timer=7400 sc_invalid=7404 sc_debug=7408
DF4997: rt2661_softc size=8040: sc_invalid=7404 sc_debug=7408
DF4997: rt2860_softc size=21536: sc_st=7360 sc_sh=7368 watchdog_ch=7376 sc_invalid=7400 sc_debug=7404 sc_tx_timer=21224
DF4997: VERDICT rt2560.sc_invalid alias == rt2860.sc_debug: glue writes MISS sc_invalid and hit sc_debug on rt2860 (claim TRUE)
DF4997: sc_st/sc_sh offsets DO coincide (bus tag/handle writes land correctly - impact limited to sc_invalid/sc_debug)