Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/microchip/wilc1000/hif.c handle_rcvd_ntwrk_info() -> (struct wilc_user_scan_req)->scan_result()

Type Parameter Key Value
PARAM_VALUE 0 scan_event 0
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->mgmt 4096-ptr_max
PARAM_VALUE 1 info->mgmt->u.beacon.variable->datalen 0-255
PARAM_VALUE 1 info->mgmt->u.beacon.variable->id 0-255
BUF_SIZE 1 info 16
CONTAINER 2 *(-0+8) $(-1)
NOCHECK_CALL
USER_DATA 1 info->ch 0-255

drivers/net/wireless/microchip/wilc1000/hif.c handle_scan_done() -> (struct wilc_user_scan_req)->scan_result()

Type Parameter Key Value
PARAM_VALUE 0 scan_event 1-2
PARAM_VALUE 1 info 0
DATA_SOURCE 0 scan_event $1
CONTAINER 2 *(-0+8) $(-1)
HARD_MAX 0 scan_event 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/microchip/wilc1000/hif.c wilc_deinit() -> (struct wilc_user_scan_req)->scan_result()

Type Parameter Key Value
PARAM_VALUE 0 scan_event 2
PARAM_VALUE 1 info 0
CONTAINER 2 *(-0+8) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vif->wilc->deinit_lock
TYPE_LOCK (struct wilc)->deinit_lock

drivers/net/wireless/microchip/wilc1000/hif.c wilc_disconnect() -> (struct wilc_user_scan_req)->scan_result()

Type Parameter Key Value
PARAM_VALUE 0 scan_event 2
PARAM_VALUE 1 info 0
CONTAINER 2 *(-0+8) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex