Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/renesas/rswitch_main.c rswitch_ether_port_deinit_one() -> rswitch_phy_device_deinit()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->disabled 0
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/renesas/rswitch_main.c rswitch_ether_port_init_one() -> rswitch_phy_device_deinit()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->disabled 0
PARAM_VALUE 0 rdev->etha 4096-ptr_max
PARAM_VALUE 0 rdev->etha->mii 4096-ptr_max
PARAM_VALUE 0 rdev->etha->mii->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 rdev->etha->mii->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 rdev->etha->mii->shared_lock.magic 4096-ptr_max
PARAM_VALUE 0 rdev->etha->mii->state 2-3
PARAM_VALUE 0 rdev->etha->phy_interface 0-37
PARAM_VALUE 0 rdev->priv 4096-ptr_max
PARAM_VALUE 0 rdev->serdes 4096-u64max
PARAM_VALUE 0 rdev->serdes->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 rdev->serdes->ops 4096-ptr_max
PARAM_VALUE 0 rdev->serdes->ops->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 rdev->serdes->ops->owner->state 0-1,3-u32max
PARAM_VALUE 0 rdev->serdes->ops->set_mode 1-u64max
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL