Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_rd.c rd_release_device_space() -> rd_release_sgl_table()

Type Parameter Key Value
PARAM_VALUE 0 rd_dev 4096-ptr_max
PARAM_VALUE 0 rd_dev->sg_table_array 1-u64max
PARAM_VALUE 0 rd_dev->sg_table_count 1-u32max
PARAM_VALUE 1 sg_table 1-u64max
PARAM_VALUE 2 sg_table_count 1-u32max
DATA_SOURCE 0 rd_dev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 rd_dev->sg_table_count
NO_OVERFLOW_SIMPLE 2 sg_table_count
UNITS 2 sg_table_count unit_array_size

drivers/target/target_core_rd.c rd_release_prot_space() -> rd_release_sgl_table()

Type Parameter Key Value
PARAM_VALUE 0 rd_dev 4096-ptr_max
PARAM_VALUE 0 rd_dev->sg_prot_array 1-u64max
PARAM_VALUE 0 rd_dev->sg_prot_count 1-u32max
PARAM_VALUE 1 sg_table 1-u64max
PARAM_VALUE 2 sg_table_count 1-u32max
DATA_SOURCE 0 rd_dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 sg_table_count unit_array_size
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem