Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_dataworker() -> brcmf_sdiod_try_freeze()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdiodev | 4096-ptr_max |
| PARAM_VALUE | 0 | sdiodev->freezer->freezing.counter | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sdiodev->state | 0-2 |
| CAPPED_DATA | 0 | sdiodev->state | 1 |
| FUZZY_MAX | 0 | sdiodev->state | 0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sdiodev->func1->card->host->fail_mmc_request.stacktrace_depth | s64min-s64max |
| HOST_DATA | 0 | *sdiodev->func1->tmpbuf | 0-255 |
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_watchdog_thread() -> brcmf_sdiod_try_freeze()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdiodev | 4096-ptr_max |
| PARAM_VALUE | 0 | sdiodev->freezer | 4096-ptr_max |
| PARAM_VALUE | 0 | sdiodev->freezer->thread_count.counter | s32min-s32max |
| NOCHECK_CALL |