Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/spi/spi.c spi_remove() -> (struct spi_driver)->remove()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/mmc/core/sdio_bus.c sdio_bus_remove() -> (struct sdio_driver)->remove()

Type Parameter Key Value
PARAM_VALUE 0 func 4096-ptr_max
PARAM_VALUE 0 func->card 4096-ptr_max
PARAM_VALUE 0 func->card->host 4096-ptr_max
BIT_INFO 0 func->card->host->caps 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex