Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/phy/phy_device.c phy_device_reset() -> mdio_device_reset()

Type Parameter Key Value
PARAM_VALUE 1 value 0-1
DATA_SOURCE 1 value $1
HARD_MAX 1 value 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/phy/mdio_device.c mdio_probe() -> mdio_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 4096-ptr_max
PARAM_VALUE 1 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/phy/mdio_device.c mdio_probe() -> mdio_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 4096-ptr_max
PARAM_VALUE 1 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/phy/mdio_device.c mdio_remove() -> mdio_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 4096-ptr_max
PARAM_VALUE 1 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/net/phy/mdio_device.c mdiobus_register_device() -> mdio_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 4096-ptr_max
PARAM_VALUE 0 mdiodev->bus 4096-ptr_max
PARAM_VALUE 0 mdiodev->bus->mdio_map 4096-ptr_max
PARAM_VALUE 0 mdiodev->flags s32min-(-1),1-s32max
PARAM_VALUE 0 mdiodev->reset_ctrl 0,4096-ptr_max
PARAM_VALUE 0 mdiodev->reset_gpio 0,4096-ptr_max
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->lock.dep_map->name 0-255
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->lock.owner (-1)
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->lock.owner_cpu 4294967295
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->sda_is_static 1
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->srcu_gp_seq s64max
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->work.work.entry.prev 2076614606316732416
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 1 value 1
BUF_SIZE 0 mdiodev (-1),1688
BUF_SIZE 0 mdiodev (-1),1688
BUF_SIZE 0 mdiodev->bus (-1),3752,3784,3792,3800,3808,3816,3824,3912
BUF_SIZE 0 mdiodev->dev.platform_data (-1),224
DATA_SOURCE 0 mdiodev $0
BIT_INFO 0 mdiodev->flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mdiodev->addr

drivers/net/phy/qcom/at803x.c phy_device_reset() -> mdio_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 4096-ptr_max
PARAM_VALUE 0 mdiodev->bus 4096-ptr_max
PARAM_VALUE 1 value 0-1
DATA_SOURCE 1 value $1
HARD_MAX 1 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &phydev->lock
TYPE_LOCK (struct phy_device)->lock