Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_configfs.c target_pr_res_holder_show() -> target_core_dev_pr_show_spc2_res()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_attrib.emulate_pr 1
PARAM_VALUE 0 dev->dev_reservation_flags 1-u32max
PARAM_VALUE 0 dev->dev_reservation_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 page 1-u64max
BUF_SIZE 1 page (-1),4096
BUF_SIZE 1 page (-1),4096
DATA_SOURCE 0 dev r pr_to_dev
DATA_SOURCE 1 page $1
BIT_INFO 0 dev->dev_reservation_flags 0x1,0xffffffff
BIT_INFO 0 dev->transport_flags 0x0,0xfb
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
LOCK2 0 &dev->dev_reservation_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem
TYPE_LOCK (struct se_device)->dev_reservation_lock