Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/mmc/host/cavium.c prepare_ext_dma() -> mmc_card_is_blockaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | card->debugfs_root->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | card->debugfs_root->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | card->dev.dma_range_map | |
| NO_OVERFLOW_SIMPLE | 0 | card->dev.p | |
| NO_OVERFLOW_SIMPLE | 0 | card->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | card->dev.physical_location | |
| NO_OVERFLOW_SIMPLE | 0 | card->host->ios.clock | |
| LOCK2 | &host->mmc_serializer | ||
| TYPE_LOCK | (struct cvm_mmc_host)->mmc_serializer |
drivers/mmc/core/core.c mmc_card_alternative_gpt_sector() -> mmc_card_is_blockaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| DATA_SOURCE | 0 | card | $0 |
| BIT_INFO | 0 | card->host->caps2 | 0x10000000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &disk->open_mutex | ||
| HALF_LOCKED2 | &hd->open_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct gendisk)->open_mutex |