Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/microchip/wilc1000/netdev.c wilc_mac_open() -> wilc_set_mac_address()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->periodic_rssi.flags 0-4294967295
PARAM_VALUE 0 vif->periodic_rssi.lockdep_map->name 0-255
PARAM_VALUE 0 vif->priv.p2p_listen_state 0
PARAM_VALUE 0 vif->priv.scan_req_lock->magic (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 vif->priv.scan_req_lock.dep_map->name 0-255
PARAM_VALUE 0 vif->priv.scan_req_lock.first_waiter 0
PARAM_VALUE 0 vif->priv.scan_req_lock.owner.counter 0
PARAM_VALUE 0 vif->wilc 4096-ptr_max
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vif->wilc->cfg_cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 vif->wilc->cfg_event.done 0-4294967293,u32max
PARAM_VALUE 0 vif->wilc->cfg_event.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 vif->wilc->cfg_event.wait.lock.owner (-1)
PARAM_VALUE 0 vif->wilc->cfg_event.wait.lock.owner_cpu u32max
PARAM_VALUE 0 vif->wilc->cfg_event.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 vif->wilc->cfg_event.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vif->wilc->cfg_event.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vif->wilc->cfg_frame.hdr.cmd_type 81,87
PARAM_VALUE 0 vif->wilc->chipid 0-4294967295
PARAM_VALUE 0 vif->wilc->dev 1-u64max
PARAM_VALUE 0 vif->wilc->hif_cs.osq.tail.counter s32min-s32max
PARAM_VALUE 0 vif->wilc->initialized 1
PARAM_VALUE 0 vif->wilc->sync_event.done 0-4294967295
PARAM_VALUE 0 vif->wilc->sync_event.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 vif->wilc->txq_add_to_head_cs.dep_map->name 0-255
PARAM_VALUE 0 vif->wilc->txq_add_to_head_cs.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vif->wilc->txq_add_to_head_cs.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vif->wilc->txq_add_to_head_cs.first_waiter->task->blocked_on 0
PARAM_VALUE 0 vif->wilc->txq_event.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 vif->wilc->txq_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vif->wilc->txq_thread_started.done 0-4294967295
PARAM_VALUE 0 vif->wilc->txq_thread_started.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 vif->wilc->wiphy->radio->n_freq_range 1
PARAM_VALUE 0 vif->wilc->wiphy->radio->n_iface_combinations 1
PARAM_VALUE 0 *vif->ndev->name 0-255
PARAM_VALUE 0 *vif->wilc->cfg_frame.frame 0-255
BUF_SIZE 1 mac_addr 32
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *mac_addr 0-255
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireless/microchip/wilc1000/netdev.c wilc_set_mac_addr() -> wilc_set_mac_address()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->mac_opened s32min-(-1),1-s32max
PARAM_VALUE 0 vif->wilc 4096-ptr_max
PARAM_VALUE 0 vif->wilc->srcu.dep_map->name 0-255
PARAM_VALUE 0 vif->wilc->srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 1 mac_addr 4096-ptr_max
BUF_SIZE 1 mac_addr 14
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &dev_addr_sem
HALF_LOCKED2 global &rtnl_mutex