Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/marvell/sky2.c sky2_all_down() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw s32min-(-1),1-s32max
DATA_SOURCE 0 hw $0
BIT_INFO 0 hw->flags 0x800,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
LOCK2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_all_up() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw s32min-(-1),1-s32max
CAPPED_DATA 0 hw->ports 1
DATA_SOURCE 0 hw $0
BIT_INFO 0 hw->flags 0x800,0xffffffffffffffff
MEM_ZERO 0 hw->st_le
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
LOCK2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_all_up() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 40
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw s32min-(-1),1-s32max
CAPPED_DATA 0 hw->ports 1
DATA_SOURCE 0 hw $0
BIT_INFO 0 hw->flags 0x800,0xffffffffffffffff
MEM_ZERO 0 hw->st_le
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
LOCK2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_change_mtu() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 1 reg 12
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_change_mtu() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_change_mtu() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 40
CAPPED_DATA 0 hw->napi.timer.base 1
PARAM_COMPARE 0 &hw->napi.timer != $0->napi.timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_close() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_close() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_close() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_debug_show() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 1 reg 8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

drivers/net/ethernet/marvell/sky2.c sky2_debug_show() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

drivers/net/ethernet/marvell/sky2.c sky2_debug_show() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 44
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

drivers/net/ethernet/marvell/sky2.c sky2_debug_show() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 40
CAPPED_DATA 0 hw->napi.timer.base 1
PARAM_COMPARE 0 &hw->napi.timer != $0->napi.timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

drivers/net/ethernet/marvell/sky2.c sky2_get_coalesce() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 3776
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_get_coalesce() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 3760
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_get_coalesce() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 3792
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_hw_down() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 1716,1972
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_hw_intr() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 16
DATA_SOURCE 0 hw $0

drivers/net/ethernet/marvell/sky2.c sky2_hw_intr() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 20
DATA_SOURCE 0 hw $0

drivers/net/ethernet/marvell/sky2.c sky2_hw_intr() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 7428
DATA_SOURCE 0 hw $0

drivers/net/ethernet/marvell/sky2.c sky2_hw_intr() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 7428
DATA_SOURCE 0 hw $0
NOCHECK_CALL

drivers/net/ethernet/marvell/sky2.c sky2_intr() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 1 reg 28
DATA_SOURCE 0 hw $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/ethernet/marvell/sky2.c sky2_open() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_open() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_pci_read32() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 7232,7300,7304
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw->pdev (-1),1-s32max
BUF_SIZE 0 hw->st_le (-1)-s32max
DATA_SOURCE 0 hw $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 hw->chip_id 180,182-184,186,188-190
HOST_DATA 0 hw->pdev->current_state 0-3[c]
UNITS 0 hw unit_byte
HALF_LOCKED2 &sky2->phy_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_poll() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 36
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/marvell/sky2.c sky2_poll() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 40
CAPPED_DATA 0 hw->st_idx 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/marvell/sky2.c sky2_power_aux() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 4
BUF_SIZE 0 hw s32min-(-2),1-s32max
BUF_SIZE 0 hw s32min-(-2),1-s32max
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_power_on() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 348
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 hw->st_le (-1)-s32max
DATA_SOURCE 0 hw $0
BIT_INFO 0 hw->flags 0x80,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 hw->chip_id 180,182-184,186,188-190
HOST_DATA 0 hw->pdev->current_state 0-3[c]
UNITS 0 hw unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_power_on() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 348
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 hw->st_le (-1)-s32max
DATA_SOURCE 0 hw $0
BIT_INFO 0 hw->flags 0x80,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hw->chip_id 180,182-184,186,188-190
HOST_DATA 0 hw->pdev->current_state 0-3[c]
UNITS 0 hw unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_prefetch_init() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 1104,1232,1744,2000
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_qlink_intr() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/marvell/sky2.c sky2_remove() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
BUF_SIZE 0 hw s32min-(-2),1-s32max
BUF_SIZE 0 hw s32min-(-2),1-s32max
CAPPED_DATA 0 &hw->restart_work 1
CAPPED_DATA 0 &hw->watchdog_timer 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_reset() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 16
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw s32min-(-1),1-s32max
BUF_SIZE 0 hw->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 hw->st_le (-1)-s32max
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 hw->chip_id 179-180,182-184,186,188-190
HOST_DATA 0 hw->pdev->current_state 0-3[c]
UNITS 0 hw unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_rx_hung() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 1 reg 3184
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_setup_irq() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
BUF_SIZE 0 hw (-1),898-1010999
BUF_SIZE 0 hw (-1),898-1010999
BUF_SIZE 0 hw->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 hw->st_le (-1)-s32max
CAPPED_DATA 0 hw 1
DATA_SOURCE 0 hw $0
BIT_INFO 0 hw->flags 0x800,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hw->chip_id 179-186,188-190
HOST_DATA 0 hw->pdev->current_state 0-3[c]
UNITS 0 hw unit_byte

drivers/net/ethernet/marvell/sky2.c sky2_test_intr() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 1 reg 28
DATA_SOURCE 0 hw $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/ethernet/marvell/sky2.c sky2_test_msi() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 12
BUF_SIZE 0 hw 898-1010999
BUF_SIZE 0 hw 898-1010999
BUF_SIZE 0 hw->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 hw->st_le 0-s32max
CAPPED_DATA 0 hw->ports 1
DATA_SOURCE 0 hw $0
MEM_ZERO 0 hw->st_le
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hw->chip_id 179-186,188-190
HOST_DATA 0 hw->pdev->current_state 0-3[c]

drivers/net/ethernet/marvell/sky2.c sky2_tx_reset() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 4
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_watchdog() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 8
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/marvell/sky2.c sky2_wol_init() -> sky2_read32()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 reg 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hw unit_byte
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &fsm->lock