Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/sky2.c sky2_hw_up() -> sky2_vlan_mode()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev->num_tx_queues 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/marvell/sky2.c sky2_set_features() -> sky2_vlan_mode()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev->name_node (-1),64
BUF_SIZE 0 dev->name_node->name (-1),16
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 features $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->flags 0-526337[c]
USER_DATA 0 dev->ifindex 0-s32max[c]
USER_DATA 0 dev->mtu 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 dev->real_num_tx_queues
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &dev->lock