Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_user.c tcmu_configure_device() -> tcmu_send_dev_add_event()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->cmdr 4096-ptr_max
PARAM_VALUE 0 udev->cmdr_lock.dep_map->name 0-255
PARAM_VALUE 0 udev->cmdr_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 udev->cmdr_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 udev->cmdr_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 udev->cmdr_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 udev->cmdr_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 udev->cmdr_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 udev->cmdr_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 udev->cmdr_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 udev->cmdr_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 udev->data_bitmap 16,4096-ptr_max
PARAM_VALUE 0 udev->data_off 0-u32max
PARAM_VALUE 0 udev->dbi_thresh 0
PARAM_VALUE 0 udev->hba 4096-ptr_max
PARAM_VALUE 0 udev->hba->hba_ptr 4096-ptr_max
PARAM_VALUE 0 udev->mb_addr 4096-ptr_max
PARAM_VALUE 0 udev->mmap_pages 0-549756862208
PARAM_VALUE 0 udev->nl_reply_supported s32min-255
PARAM_VALUE 0 udev->uio_info.irq (-1)
PARAM_VALUE 0 udev->uio_info.irqcontrol 8049438478295764992
PARAM_VALUE 0 udev->uio_info.mem 4096-ptr_max
PARAM_VALUE 0 udev->uio_info.mmap_prepare 4490851419580743680
PARAM_VALUE 0 udev->uio_info.name 1-u64max
PARAM_VALUE 0 udev->uio_info.open 3655939874440433664
PARAM_VALUE 0 udev->uio_info.release 2570236891368656896
PARAM_VALUE 0 udev->uio_info.uio_dev 4096-ptr_max
PARAM_VALUE 0 udev->uio_info.uio_dev->event.counter 0
PARAM_VALUE 0 udev->uio_info.uio_dev->info_lock.magic 4096-ptr_max
PARAM_VALUE 0 udev->uio_info.uio_dev->map_dir 4096-ptr_max
PARAM_VALUE 0 udev->uio_info.uio_dev->minor 0-s32max
PARAM_VALUE 0 udev->uio_info.uio_dev->owner 0
PARAM_VALUE 0 udev->uio_info.uio_dev->portio_dir 4096-ptr_max
PARAM_VALUE 0 udev->uio_info.uio_dev->wait.head.next 4096-ptr_max
PARAM_VALUE 0 udev->uio_info.uio_dev->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 udev->uio_info.version 4856996686399016960
BUF_SIZE 0 udev->mb_addr 0-u32max
CAPPED_DATA 0 &udev->cmdr_lock 1
MEM_ZERO 0 udev->data_bitmap
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem