Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/pci.c nvme_queue_rqs() -> nvme_submit_cmds()

Type Parameter Key Value
PARAM_VALUE 0 nvmeq 4096-ptr_max
PARAM_VALUE 1 rqlist 7176388596816236544
PARAM_VALUE 1 rqlist->head 0,4096-ptr_max
PARAM_VALUE 1 rqlist->tail 0,4096-ptr_max
BUF_SIZE 0 nvmeq 64,128,280,736,816,848,1000-s32max
BUF_SIZE 0 nvmeq 64,128,280,736,816,848,1000-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 nvmeq unit_byte
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/nvme/host/pci.c nvme_queue_rqs() -> nvme_submit_cmds()

Type Parameter Key Value
PARAM_VALUE 0 nvmeq 4096-ptr_max
PARAM_VALUE 1 rqlist 7176388596816236544
PARAM_VALUE 1 rqlist->tail 0,4096-ptr_max
BUF_SIZE 0 nvmeq 64,128,280,736,816,848,1000-s32max
BUF_SIZE 0 nvmeq 64,128,280,736,816,848,1000-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 nvmeq unit_byte
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read