Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/mdio/mdio-i2c.c i2c_mii_read_default_c45() -> i2c_mii_valid_phy_id()

Type Parameter Key Value
DATA_SOURCE 0 phy_id $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 phy_id 0-31[c]
USER_DATA 0 phy_id 2-31[c]
HALF_LOCKED2 &bus->mdio_lock

drivers/net/mdio/mdio-i2c.c i2c_mii_write_default_c45() -> i2c_mii_valid_phy_id()

Type Parameter Key Value
DATA_SOURCE 0 phy_id $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bus->mdio_lock

drivers/net/mdio/mdio-i2c.c smbus_byte_mii_read_default_c22() -> i2c_mii_valid_phy_id()

Type Parameter Key Value
DATA_SOURCE 0 phy_id $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 phy_id 2-31[c]
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock

drivers/net/mdio/mdio-i2c.c smbus_byte_mii_write_default_c22() -> i2c_mii_valid_phy_id()

Type Parameter Key Value
DATA_SOURCE 0 phy_id $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &bus->mdio_lock
HALF_LOCKED2 &priv->bus->mdio_lock