Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/rtsx_pci_sdmmc.c sd_request() -> sd_get_cd_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->eject | 0 |
| PARAM_VALUE | 0 | host->mrq | 4096-ptr_max |
| HALF_LOCKED2 | &pool->lock |