Defined in 2 files as a function:
- drivers/mmc/host/rtsx_pci_sdmmc.c, line 379 (as a function)
- drivers/mmc/host/rtsx_usb_sdmmc.c, line 200 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/mmc/host/rtsx_usb_sdmmc.c sd_normal_rw() -> sd_write_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->card_exist | 1 |
| PARAM_VALUE | 0 | host->host_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | host->host_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | host->host_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->host_removal | 0 |
| PARAM_VALUE | 0 | host->mrq | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->data | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | host->ucr->dev_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | cmd | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd->opcode | 0-17,19-24,26-u32max |
| PARAM_VALUE | 3 | buf | 16,4096-ptr_max |
| PARAM_VALUE | 4 | buf_len | 0-4000000 |
| PARAM_VALUE | 5 | timeout | 200 |
| BUF_SIZE | 0 | host->mrq | (-1)-0,304 |
| BUF_SIZE | 1 | cmd | (-1),72 |
| BUF_SIZE | 1 | cmd | (-1),72 |
| BUF_SIZE | 3 | buf | 0-u32max |
| BUF_SIZE | 3 | buf | 0-u32max |
| CAPPED_DATA | 2 | byte_cnt | 1 |
| CAPPED_DATA | 4 | buf_len | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 3 | buf | r _kzalloc_noprof |
| BIT_INFO | 0 | host->ocp_stat | 0x0,0xfffc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | byte_cnt | unit_byte |
| UNITS | 4 | buf_len | unit_byte |
| BYTE_COUNT | 3 | ==buf4 | 8050 |
| LOCK2 | &ucr->dev_mutex | ||
| TYPE_LOCK | (struct rtsx_ucr)->dev_mutex |
drivers/mmc/host/rtsx_pci_sdmmc.c sd_normal_rw() -> sd_write_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->eject | 0 |
| PARAM_VALUE | 0 | host->host_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | host->host_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | host->host_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | host->host_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->mrq | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->data | 4096-ptr_max |
| PARAM_VALUE | 0 | host->pcr | 4096-ptr_max |
| PARAM_VALUE | 0 | host->pcr->pci | 4096-ptr_max |
| PARAM_VALUE | 0 | host->pcr->pcr_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->pcr->pcr_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->pcr->pcr_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | host->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | host->pcr->pcr_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->pcr->pcr_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | host->pcr->pcr_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | host->pcr->remap_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd->opcode | 0-16,19-23,26-u32max |
| PARAM_VALUE | 3 | buf | 16,4096-ptr_max |
| PARAM_VALUE | 4 | buf_len | 0-4000000 |
| PARAM_VALUE | 5 | timeout | 200 |
| BUF_SIZE | 3 | buf | 0-u32max |
| BUF_SIZE | 3 | buf | 0-u32max |
| CAPPED_DATA | 2 | byte_cnt | 1 |
| CAPPED_DATA | 4 | buf_len | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 3 | buf | r _kzalloc_noprof |
| UNITS | 2 | byte_cnt | unit_byte |
| UNITS | 4 | buf_len | unit_byte |
| BYTE_COUNT | 3 | ==buf4 | 8050 |
| LOCK2 | &pcr->pcr_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rtsx_pcr)->pcr_mutex |