Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ti/wl1251/sdio.c wl1251_sdio_read_elp() -> sdio_writeb_readb()

Type Parameter Key Value
PARAM_VALUE 0 func 0,4096-ptr_max
PARAM_VALUE 0 func->card->host->claim_cnt s32min-s32max
PARAM_VALUE 0 func->card->host->claimed 1
PARAM_VALUE 0 func->card->host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 addr 131068
PARAM_VALUE 3 err_ret 1524390008162050048
PARAM_VALUE 3 *err_ret 0
DATA_SOURCE 2 addr $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &wl->mutex
TYPE_LOCK (struct wl1251)->mutex