{
  "finding_id": "DF-3905",
  "title": "sk_marv_miibus_writereg(): inverted YU_SMICR_BUSY check aborts the SMI write-completion wait the moment the write starts",
  "file": "sys/dev/netif/sk/if_sk.c",
  "impact": "intermittent dropped PHY writes on Yukon hardware (media misconfiguration / link flaps); no memory-safety impact",
  "verdict": "inconclusive (source-certain vs in-tree msk sibling, hardware-gated)",
  "reproduce": {
    "build": "n/a - no Yukon silicon on the audit guest",
    "run": "n/a - requires Marvell Yukon hardware doing back-to-back SMI writes",
    "expected": "on real hardware: occasional PHY writes not taking effect (vs msk(4) on the same PHY which waits correctly)"
  },
  "kernel_refs": [
    "sys/dev/netif/sk/if_sk.c:519",
    "sys/dev/netif/sk/if_sk.c:521",
    "sys/dev/netif/msk/if_msk.c:427"
  ],
  "artifacts": [
    "README.md",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}