⬢ DragonFlyBSD Kernel Audit
DF-5606 / proof.log
← back to finding ↓ download raw
== A. no build target references the orphan ==
   OK: zero references in conf/files, u4b Makefiles, net module Makefiles
== B. FreeBSD include layout absent ==
   OK: neither sys/dev/mii nor sys/dev/usb exists; real homes are
       sys/dev/netif/mii_layer and sys/bus/u4b
== C. FreeBSD new-mii API absent from DragonFly mii core ==
   OK: mii.c/miivar.h/mii_physubr.c define none of them
       (only in-tree vestiges: atphy.c:89 (#if 0 block), :99/:114 (comments))
== D. API-delta table (orphan call site -> DragonFly reality) ==
   ruephy.c:47  <dev/mii/mii.h>           -> sys/dev/netif/mii_layer/mii.h   (different path)
   ruephy.c:51  <dev/usb/net/ruephyreg.h> -> sys/bus/u4b/net/ruephyreg.h     (different path)
   ruephy.c:62  mii_phy_detach            -> absent; twin uses ukphy_detach (miivar.h:276)
   ruephy.c:87  MII_PHY_END               -> absent; DF uses MII_PHYDESC_NULL (miivar.h:191)
   ruephy.c:90  struct mii_phy_funcs      -> absent
   ruephy.c:102 mii_phy_dev_probe         -> absent; DF uses mii_phy_match (miivar.h:266)
   ruephy.c:110 mii_phy_dev_attach        -> absent; DF attaches manually (twin :104-149)
   ruephy.c:110 MIIF_NOMANPAUSE           -> absent (MIIF_NOISOLATE exists, miivar.h:138)
   ruephy.c:132 mii_phy_setmedia          -> DF name: mii_phy_set_media (miivar.h:260)
   ruephy.c:164 mii_phy_auto(sc) 1-arg    -> DF proto: mii_phy_auto(sc, int) (miivar.h:270)
   ruephy.c:86  mii_phydesc{0,0,name}     -> DF struct has 4 members incl. mpd_priv (miivar.h:186-193)

PROOF OK: the orphan is unreferenced by any build target and cannot compile
against this tree's mii API; it cannot become live without importing the
FreeBSD new-mii core wholesale (which would then revive the latent family
defects: unguarded ifm_cur derefs at ruephy.c:145/:231 and the DF-5001
empty-media attach-panic branch).