Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_ctrl_add_dev() -> ublk_alloc_dev_number()

Type Parameter Key Value
PARAM_VALUE 0 ub 4096-ptr_max
PARAM_VALUE 0 ub->buf_ida.xa.xa_flags 33554437
PARAM_VALUE 0 ub->buf_ida.xa.xa_head 0
PARAM_VALUE 0 ub->buf_tree.ma_flags 0
PARAM_VALUE 0 ub->buf_tree.ma_root 0
PARAM_VALUE 0 ub->cancel_mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->cancel_mutex.first_waiter 0
PARAM_VALUE 0 ub->cancel_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->cancel_mutex.osq.tail.counter 0
PARAM_VALUE 0 ub->cancel_mutex.owner.counter 0
PARAM_VALUE 0 ub->mutex.dep_map->name 0-255
PARAM_VALUE 0 ub->mutex.first_waiter 0
PARAM_VALUE 0 ub->mutex.magic 4096-ptr_max
PARAM_VALUE 0 ub->mutex.osq.tail.counter 0
PARAM_VALUE 0 ub->mutex.owner.counter 0
PARAM_VALUE 1 idx (-1)-1048575
BUF_SIZE 0 ub 3528-36288
BUF_SIZE 0 ub 3528-36288
CAPPED_DATA 1 idx 1
DATA_SOURCE 0 ub r _kzalloc_noprof
CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &ublk_ctl_mutex
HALF_LOCKED2 &ctx->uring_lock