Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/sdhci.c sdhci_hw_reset() -> (struct sdhci_ops)->hw_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->hw_reset | 471057324677296128,1504272209673129984,2079847465092317184,3266177008579117056,7490316904909000704,8505473077097603072 |
| CONTAINER | 0 | -176-64+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |