Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/core/mmc_test.c mmc_test_broken_transfer() -> mmc_test_wait_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->claimed | 1 |
| PARAM_VALUE | 0 | test->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | test->card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | test->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.done | 0,u32max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->done | 6569461247470579712,8039316214707961856,8283609542540963840 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | test->card->type | 0-1 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test->card | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | test->gr | (-1),48 |
| CAPPED_DATA | 0 | test->buffer | 1 |
| DATA_SOURCE | 0 | test | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &mmc_test_lock |
drivers/mmc/core/mmc_test.c mmc_test_buffer_transfer() -> mmc_test_wait_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->claimed | 1 |
| PARAM_VALUE | 0 | test->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | test->card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | test->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | test->card->type | 0-1 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test->card | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | test->gr | (-1),48 |
| DATA_SOURCE | 0 | test | $0 |
| LOCK2 | global &mmc_test_lock |
drivers/mmc/core/mmc_test.c mmc_test_ongoing_transfer() -> mmc_test_wait_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->area.max_segs | 0-u16max |
| PARAM_VALUE | 0 | test->area.max_tfr | 512-u32max |
| PARAM_VALUE | 0 | test->area.mem | 4096-ptr_max |
| PARAM_VALUE | 0 | test->area.sg_areq | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | test->area.sg_areq->dma_address | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->dma_flags | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->dma_length | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->length | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->offset | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->page_link | 0 |
| PARAM_VALUE | 0 | test->card | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->claimed | 1 |
| PARAM_VALUE | 0 | test->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | test->card->host->fail_mmc_request.ratelimit_state.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | test->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | test->card->host->sdio_irq_thread->sched_class->set_cpus_allowed | 0,1927640468783054848,5094656021401329664,7127180339355369472 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test->card | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | test->gr | (-1),48 |
| CAPPED_DATA | 0 | test->area.dev_addr | 1 |
| CAPPED_DATA | 0 | test->area.max_segs | 1 |
| DATA_SOURCE | 0 | test | $0 |
| BIT_INFO | 0 | test->card->host->caps | 0x20000000,0xffffffffffffffff |
| LOCK2 | global &mmc_test_lock |
drivers/mmc/core/mmc_test.c mmc_test_simple_transfer() -> mmc_test_wait_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->claimed | 1 |
| PARAM_VALUE | 0 | test->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | test->card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.done | 0,u32max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->done | 6569461247470579712,8039316214707961856,8283609542540963840 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | test->card->host->private->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | test->card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | test->card->host->sdio_irq_thread->sched_class->set_cpus_allowed | 0,1927640468783054848,5094656021401329664,7127180339355369472 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test->card | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | test->gr | (-1),48 |
| DATA_SOURCE | 0 | test | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | test->card->host->fail_mmc_request.stacktrace_depth | 0-u64max |
| LOCK2 | global &mmc_test_lock |
drivers/mmc/core/mmc_test.c mmc_test_start_areq() -> mmc_test_wait_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->area.max_tfr | 0,512-u32max |
| PARAM_VALUE | 0 | test->area.mem | 4096-ptr_max |
| PARAM_VALUE | 0 | test->area.sg->dma_address | 0 |
| PARAM_VALUE | 0 | test->area.sg->dma_flags | 0 |
| PARAM_VALUE | 0 | test->area.sg->dma_length | 0 |
| PARAM_VALUE | 0 | test->area.sg->length | 0 |
| PARAM_VALUE | 0 | test->area.sg->offset | 0 |
| PARAM_VALUE | 0 | test->area.sg->page_link | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->dma_address | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->dma_flags | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->dma_length | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->length | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->offset | 0 |
| PARAM_VALUE | 0 | test->area.sg_areq->page_link | 0 |
| PARAM_VALUE | 0 | test->card | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | test->card->host->claimed | 1 |
| PARAM_VALUE | 0 | test->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | test->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | test->card->host->sdio_irq_thread->sched_class->set_cpus_allowed | 0,1927640468783054848,5094656021401329664,7127180339355369472 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test | 32840 |
| BUF_SIZE | 0 | test->card | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | test->gr | (-1),48 |
| CAPPED_DATA | 0 | test->area.dev_addr | 1 |
| DATA_SOURCE | 0 | test | $0 |
| HOST_DATA | 0 | test->card->host->fail_mmc_request.stacktrace_depth | 0-u64max |
| LOCK2 | global &mmc_test_lock |