Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/io-submitter.c get_bio_list() -> assert_in_bio_zone()

Type Parameter Key Value
PARAM_VALUE 0 vio 4096-ptr_max
PARAM_VALUE 0 vio->completion.vdo 4096-ptr_max
PARAM_VALUE 0 vio->completion.vdo->io_submitter->bio_queue_data 4096-ptr_max
PARAM_VALUE 0 vio->completion.vdo->thread_config.bio_threads 4096-ptr_max
DATA_SOURCE 0 vio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/io-submitter.c send_bio_to_device() -> assert_in_bio_zone()

Type Parameter Key Value
PARAM_VALUE 0 vio 4096-ptr_max
BUF_SIZE 0 vio (-1),1-s32max
BUF_SIZE 0 vio (-1),1-s32max
DATA_SOURCE 0 vio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/io-submitter.c submit_data_vio() -> assert_in_bio_zone()

Type Parameter Key Value
PARAM_VALUE 0 vio 4096-ptr_max
DATA_SOURCE 0 vio r as_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL