Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/mv643xx_eth.c init_pscr() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 60
PARAM_VALUE 2 data 0,2-u32max
BUF_SIZE 0 mp->clk (-1),1-s32max
BUF_SIZE 0 mp->shared s32min-(-2),1-s32max
CAPPED_DATA 0 mp->dev->dev.parent 1
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
DATA_SOURCE 0 mp $0
BIT_INFO 2 data 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0,2-u32max[c]

drivers/net/ethernet/marvell/mv643xx_eth.c init_pscr() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 60
PARAM_VALUE 2 data 655872,664076,2761228,9052684,11149836,17441292,19538444
BUF_SIZE 0 mp->clk (-1),1-s32max
BUF_SIZE 0 mp->shared s32min-(-2),1-s32max
CAPPED_DATA 0 mp->dev->dev.parent 1
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
DATA_SOURCE 0 mp $0
FUZZY_MAX 2 data 655872
BIT_INFO 2 data 0xa0200,0x1aa220c
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_adjust_link() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 60
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
HALF_LOCKED2 &phydev->lock

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_collect_events() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 96
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_collect_events() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 100
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 mp->work_rx 0-255[c]
HOST_DATA 0 mp->work_tx_end 0-255[c]

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_irq() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 104
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_netpoll() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 1 offset 104
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ni->dev_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netpoll_info)->dev_lock

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_netpoll() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 104
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ni->dev_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netpoll_info)->dev_lock

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_open() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 1 offset 96
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_open() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 100
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_open() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 108
PARAM_VALUE 2 data 1114367
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
CAPPED_DATA 0 &mp->mib_counters_timer 1
BIT_INFO 0 mp->int_mask 0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_open() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 104
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
CAPPED_DATA 0 &mp->mib_counters_timer 1
BIT_INFO 0 mp->int_mask 0x2,0xffffffffffffffff
BIT_INFO 2 data 0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_poll() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 104
CAPPED_DATA 0 &mp->rx_oom 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_probe() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 76
BUF_SIZE 0 mp->shared s32min-(-2),1-s32max
BIT_INFO 2 data 0x0,0xffffffef
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max[c]

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_probe() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 28
PARAM_VALUE 2 data 8388660
BUF_SIZE 0 mp->clk (-1),1-s32max
BUF_SIZE 0 mp->shared s32min-(-2),1-s32max
CAPPED_DATA 0 mp->dev->dev.parent 1
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_program_unicast_filter() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
HALF_LOCKED2 &dev->addr_list_lock
HALF_LOCKED2 bh

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_set_features() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 data 0,33554432
FUZZY_MAX 2 data 33554432
BIT_INFO 2 data 0x0,0x2000000
HARD_MAX 2 data 33554432
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_shutdown() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 1 offset 104
PARAM_VALUE 2 data 0
BUF_SIZE 0 mp s32min-(-2),1-s32max
BUF_SIZE 0 mp s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte
LOCK2 &_dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_stop() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 1 offset 108
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_stop() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 104
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/mv643xx_eth.c port_reset() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 60
PARAM_VALUE 2 data 0,4-u32max
BUF_SIZE 0 mp s32min-(-1),1-s32max
BUF_SIZE 0 mp s32min-(-1),1-s32max
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
DATA_SOURCE 0 mp $0
BIT_INFO 2 data 0x0,0xfffffbfc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0,4-u32max[c]
UNITS 0 mp unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/net/ethernet/marvell/mv643xx_eth.c port_start() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 60
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
DATA_SOURCE 0 mp $0
BIT_INFO 2 data 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max

drivers/net/ethernet/marvell/mv643xx_eth.c port_start() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 60
PARAM_VALUE 2 data 0,2-u32max
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
DATA_SOURCE 0 mp $0
BIT_INFO 2 data 0x401,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0,2-u32max

drivers/net/ethernet/marvell/mv643xx_eth.c port_start() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 4
PARAM_VALUE 2 data 0
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c port_start() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset (-2147483124)-508,524
CAPPED_DATA 0 mp->rxq_count 1
CAPPED_DATA 0 mp->txq_count 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c rxq_disable() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 640
PARAM_VALUE 2 data 0,256-65280
DATA_SOURCE 0 mp r rxq_to_mp
BIT_INFO 2 data 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c rxq_enable() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 640
DATA_SOURCE 0 mp r rxq_to_mp
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c set_rx_coal() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 28
BUF_SIZE 0 mp->clk (-1),1-s32max
BUF_SIZE 0 mp->shared s32min-(-1),1-s32max
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max[c]
USER_DATA 2 data 0-u32max[c][u]

drivers/net/ethernet/marvell/mv643xx_eth.c set_tx_coal() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 116
PARAM_VALUE 2 data 0,16-262128
BUF_SIZE 0 mp->clk (-1),1-s32max
BUF_SIZE 0 mp->shared s32min-(-1),1-s32max
DATA_SOURCE 0 mp $0
BIT_INFO 2 data 0x0,0x3fff0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 data 0,16-262128[c]

drivers/net/ethernet/marvell/mv643xx_eth.c tx_set_rate() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 80
PARAM_VALUE 2 data 0-1023,2147483648-u32max
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c tx_set_rate() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 88
PARAM_VALUE 2 data 0-63
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c tx_set_rate() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 92
PARAM_VALUE 2 data u16max
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c tx_set_rate() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 224
PARAM_VALUE 2 data 0-1023,2147483648-u32max
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c tx_set_rate() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 232
PARAM_VALUE 2 data 0-63
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c tx_set_rate() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 236
PARAM_VALUE 2 data u16max
DATA_SOURCE 0 mp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c txq_disable() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 72
PARAM_VALUE 2 data 0,256-65280
DATA_SOURCE 0 mp r txq_to_mp
BIT_INFO 2 data 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c txq_enable() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 72
DATA_SOURCE 0 mp r txq_to_mp
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nq->_xmit_lock

drivers/net/ethernet/marvell/mv643xx_eth.c txq_reset_hw_ptr() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset (-2147482944)-700,704
DATA_SOURCE 0 mp r txq_to_mp
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c txq_set_fixed_prio_mode() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 76,220
DATA_SOURCE 0 mp r txq_to_mp
FUZZY_MAX 1 offset 220
BIT_INFO 1 offset 0x4c,0xff
HARD_MAX 1 offset 220
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max

drivers/net/ethernet/marvell/mv643xx_eth.c txq_set_rate() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset (-2147482880)-752,768
PARAM_VALUE 2 data 0-4294950912
DATA_SOURCE 0 mp r txq_to_mp
BIT_INFO 2 data 0x0,0xffc000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c txq_set_rate() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset (-2147482876)-756,772
PARAM_VALUE 2 data 0-67108863,2214591488-u32max
DATA_SOURCE 0 mp r txq_to_mp
BIT_INFO 2 data 0x3fffc00,0x3ffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mv643xx_eth.c uc_addr_set() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 1 offset 24
PARAM_VALUE 2 data 0-s32max
DATA_SOURCE 0 mp $0
BIT_INFO 2 data 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->addr_list_lock
HALF_LOCKED2 bh

drivers/net/ethernet/marvell/mv643xx_eth.c uc_addr_set() -> wrlp()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 offset 20
PARAM_VALUE 2 data 0-u16max
DATA_SOURCE 0 mp $0
BIT_INFO 2 data 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->addr_list_lock
HALF_LOCKED2 bh