Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/skge.c skge_phy_reset() -> yukon_reset()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->chip_id 0-9,11-255
PARAM_VALUE 0 hw->dev 4096-ptr_max
PARAM_VALUE 0 hw->phy_lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &hw->phy_lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct skge_hw)->phy_lock

drivers/net/ethernet/marvell/skge.c skge_reset() -> yukon_reset()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->chip_id 176-178
PARAM_VALUE 0 hw->chip_rev 0-15
PARAM_VALUE 0 hw->copper 0-1
PARAM_VALUE 0 hw->intr_mask 8388608,2155872256
PARAM_VALUE 0 hw->pdev 4096-ptr_max
PARAM_VALUE 0 hw->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 hw->phy_addr 0
PARAM_VALUE 0 hw->phy_type 0-15
PARAM_VALUE 0 hw->ports 1-2
PARAM_VALUE 0 hw->ram_size 4096-1044480
PARAM_VALUE 1 port 0-1
BUF_SIZE 0 hw s32min-(-2),1-s32max
BUF_SIZE 0 hw s32min-(-2),1-s32max
BUF_SIZE 0 hw->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 hw->ports 1
CAPPED_DATA 1 port 1
DATA_SOURCE 0 hw $0
FUZZY_MAX 0 hw->copper 1
FUZZY_MAX 0 hw->phy_type 4
FUZZY_MAX 0 hw->ports 2
FUZZY_MAX 0 hw->ram_size 131072
FUZZY_MAX 1 port 1
PARAM_COMPARE 0 hw->ports > $1
PARAM_COMPARE 1 port < $0->ports
HARD_MAX 0 hw->copper 1
HARD_MAX 0 hw->ports 2
HARD_MAX 1 port 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hw->chip_id 176-178
HOST_DATA 0 hw->chip_rev 0-15[c]
HOST_DATA 0 hw->copper 0[c]
HOST_DATA 0 hw->pdev->current_state 0-3[c]
HOST_DATA 0 hw->phy_type 0-15
HOST_DATA 0 hw->ram_size 4096-1044480
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/skge.c yukon_stop() -> yukon_reset()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->chip_id 0-9,11-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex