Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/owl-mmc.c owl_mmc_request() -> owl_mmc_send_cmd()

Type Parameter Key Value
PARAM_VALUE 0 owl_host 4096-ptr_max
PARAM_VALUE 0 owl_host->mrq 4096-ptr_max
PARAM_VALUE 0 owl_host->mrq->data 0,4096-ptr_max
PARAM_VALUE 2 data 0,4096-ptr_max
PARAM_VALUE 2 data->error 0
PARAM_VALUE 2 data->sg->dma_flags 0,2-u32max
BUF_SIZE 0 owl_host->mrq (-1)-0,304
BUF_SIZE 1 cmd (-1),72
BUF_SIZE 1 cmd (-1),72
BUF_SIZE 2 data (-1)-0,72
BUF_SIZE 2 data (-1)-0,72
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 owl_host->data->sg_count
NO_OVERFLOW_SIMPLE 1 cmd->data->sg_count

drivers/mmc/host/owl-mmc.c owl_mmc_request() -> owl_mmc_send_cmd()

Type Parameter Key Value
PARAM_VALUE 0 owl_host 4096-ptr_max
PARAM_VALUE 0 owl_host->data 4096-ptr_max
PARAM_VALUE 0 owl_host->data->flags 0,256,512,4352,4608,8448,8704,12544,12800
PARAM_VALUE 0 owl_host->data->sg_count 0-s32max
PARAM_VALUE 0 owl_host->desc 4096-ptr_max
PARAM_VALUE 0 owl_host->desc->callback 6987570360616407040
PARAM_VALUE 0 owl_host->desc->callback_param 4096-ptr_max
PARAM_VALUE 0 owl_host->desc->tx_submit 4096-ptr_max
PARAM_VALUE 0 owl_host->dma 4096-ptr_max
PARAM_VALUE 0 owl_host->dma->device 4096-ptr_max
PARAM_VALUE 0 owl_host->dma->device->dev 4096-ptr_max
PARAM_VALUE 0 owl_host->dma->device->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 owl_host->dma->device->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 owl_host->dma->device->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 owl_host->dma->device->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 owl_host->dma->device->device_issue_pending 4096-ptr_max
PARAM_VALUE 0 owl_host->dma_cfg.direction 1-2
PARAM_VALUE 0 owl_host->dma_cfg.peripheral_config 4096-ptr_max
PARAM_VALUE 0 owl_host->dma_cfg.peripheral_size 0,12
PARAM_VALUE 0 owl_host->dma_complete.done 0-4294967293,u32max
PARAM_VALUE 0 owl_host->dma_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 owl_host->dma_complete.wait.lock.owner (-1)
PARAM_VALUE 0 owl_host->dma_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 owl_host->dma_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 owl_host->dma_complete.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 owl_host->dma_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 owl_host->dma_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 owl_host->dma_complete.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 owl_host->dma_dir 1-2
PARAM_VALUE 0 owl_host->mrq 4096-ptr_max
PARAM_VALUE 0 owl_host->mrq->cmd 4096-ptr_max
PARAM_VALUE 0 owl_host->mrq->data 4096-ptr_max
PARAM_VALUE 0 owl_host->sdc_complete.done 0-4294967293,u32max
PARAM_VALUE 0 owl_host->sdc_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 owl_host->sdc_complete.wait.lock.owner (-1)
PARAM_VALUE 0 owl_host->sdc_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 owl_host->sdc_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 owl_host->sdc_complete.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 owl_host->sdc_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 owl_host->sdc_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 owl_host->sdc_complete.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd 1-u64max
PARAM_VALUE 2 data 0
BUF_SIZE 0 owl_host->mrq (-1)-0,304
CAPPED_DATA 0 owl_host->dma->device->dev 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 owl_host->data->sg_count