Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/wireless/mediatek/mt76/usb.c mt76u_process_rx_entry() -> (struct mt76_driver_ops)->rx_check()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->drv 4096-ptr_max
PARAM_VALUE 0 mdev->drv->drv_flags 4,8,17,24,32,49,56,68,70,177
PARAM_VALUE 0 mdev->drv->rx_check 4096-ptr_max
PARAM_VALUE 0 mdev->q_rx 4096-ptr_max
PARAM_VALUE 2 len 0-u16max
BUF_SIZE 1 data s32min-(-1),1-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 0 mdev $0
CONTAINER 0 -56-3472+0 $(-1)
RX_PATH
LOCK2 rcu_read

drivers/net/wireless/mediatek/mt76/dma.c mt76_dma_rx_process() -> (struct mt76_driver_ops)->rx_check()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->drv 4096-ptr_max
PARAM_VALUE 0 mdev->drv->rx_check 1157620040371703808,4848663956030836736,4948581913064058880,5485176288187613184,6782910663296389120
PARAM_VALUE 0 mdev->drv->rx_rro_ind_process 0,2969246628609945600
PARAM_VALUE 0 mdev->q_rx 4096-ptr_max
PARAM_VALUE 0 mdev->rx_token_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mdev->rxwi_cache.next->prev 4096-ptr_max
PARAM_VALUE 0 mdev->wed_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 data 1-18446744073709551604,(-10)-(-1)
DATA_SOURCE 0 mdev $0
DATA_SOURCE 1 data r mt76_dma_dequeue
CONTAINER 0 -56-3472+0 $(-1)
RX_PATH
LOCK2 rcu_read

drivers/net/wireless/mediatek/mt76/sdio_txrx.c mt76s_rx_run_queue() -> (struct mt76_driver_ops)->rx_check()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->drv 4096-ptr_max
PARAM_VALUE 0 mdev->drv->rx_check 4096-ptr_max
PARAM_VALUE 0 mdev->phy.q_tx 4096-ptr_max
PARAM_VALUE 0 mdev->q_mcu 4096-ptr_max
PARAM_VALUE 0 mdev->q_rx 4096-ptr_max
PARAM_VALUE 0 mdev->sdio.func 4096-ptr_max
PARAM_VALUE 0 mdev->sdio.func->card->host->claimed 0
PARAM_VALUE 0 mdev->sdio.func->card->host->claimer 0
PARAM_VALUE 0 mdev->sdio.func->card->host->claimer->task 0
PARAM_VALUE 0 mdev->sdio.func->card->host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mdev->sdio.func->card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 mdev->sdio.func->card->host->ongoing_mrq->done 0,429396076522299392,6569461247470579712,7038937104643203072,8039316214707961856,8283609542540963840
PARAM_VALUE 0 mdev->sdio.func->card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 mdev->sdio.func->card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 mdev->sdio.func->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 mdev->sdio.func->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 mdev->sdio.func->card->host->parent->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 mdev->sdio.func->card->host->parent->iommu->attach_deferred 0-1
PARAM_VALUE 0 mdev->sdio.func->card->host->parent->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 mdev->sdio.func->card->host->parent->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 mdev->sdio.func->card->host->private->pcr->pci->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 mdev->sdio.func->card->host->private->pcr->pcr_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 mdev->sdio.func->card->host->private->pcr->pcr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mdev->sdio.func->card->host->private->ucr->dev_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 mdev->sdio.func->card->host->private->ucr->dev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mdev->sdio.func->num 0-7
PARAM_VALUE 0 mdev->sdio.net_worker.task->delays->blkio_count 0-4294967295
PARAM_VALUE 0 mdev->sdio.net_worker.task->delays->blkio_delay_max 0-s64max
PARAM_VALUE 0 mdev->sdio.net_worker.task->delays->blkio_delay_min 0-s64max
PARAM_VALUE 0 mdev->sdio.net_worker.task->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 mdev->sdio.status_worker.task->delays->blkio_count 0-4294967295
PARAM_VALUE 0 mdev->sdio.status_worker.task->delays->blkio_delay_max 0-s64max
PARAM_VALUE 0 mdev->sdio.status_worker.task->delays->blkio_delay_min 0-s64max
PARAM_VALUE 0 mdev->sdio.status_worker.task->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 mdev->sdio.status_worker.task->sched_task_group->shares 0-s64max
PARAM_VALUE 1 data 4096-18446744073709547519
CAPPED_DATA 2 len 1
DATA_SOURCE 0 mdev $0
DATA_SOURCE 2 len r le32_get_bits
CONTAINER 0 -56-3472+0 $(-1)
RX_PATH