Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 rd_dev 4096-ptr_max
PARAM_VALUE 0 rd_dev->rd_flags 1-u32max
DATA_SOURCE 0 rd_dev r RD_DEV
BIT_INFO 0 rd_dev->rd_flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rd_dev->sg_table_count
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem

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

Type Parameter Key Value
PARAM_VALUE 0 rd_dev 4096-ptr_max
DATA_SOURCE 0 rd_dev r RD_DEV
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL