Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-vdo/data-vio.c destroy_data_vio() -> vdo_free_bio()

Type Parameter Key Value
NOCHECK_CALL

drivers/md/dm-vdo/vio.c free_vio_components() -> vdo_free_bio()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL