97         // SAFETY: The struct invariant ensures that we may access  in phy_id()
105         // SAFETY: The struct invariant ensures that we may access  in state()
130         // SAFETY: The struct invariant ensures that we may access  in is_link_up()
142         // SAFETY: The struct invariant ensures that we may access  in is_autoneg_enabled()
155         // SAFETY: The struct invariant ensures that we may access  in is_autoneg_completed()
164         // SAFETY: The struct invariant ensures that we may access  in set_speed()
177         // SAFETY: The struct invariant ensures that we may access  in set_duplex()
196         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in read_paged()
209         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in resolve_aneg_linkmode()
217         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in genphy_soft_reset()
225         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in init_hw()
233         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in start_aneg()
241         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in genphy_resume()
249         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in genphy_suspend()
262         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in genphy_update_link()
270         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in genphy_read_lpa()
278         // SAFETY: `phydev` is pointing to a valid object by the type invariant of `Self`.  in genphy_read_abilities()
287         // SAFETY: The struct invariant ensures that `mdio.dev` is valid.  in as_ref()
505     // INVARIANT: All the fields of `struct phy_driver` are initialized properly.  in create_phy_driver()
674 …// INVARIANT: The `drivers` slice is successfully registered to the kernel via `phy_drivers_regist…  in register()