Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_create_hwc_queue() -> mana_gd_create_cq()

Type Parameter Key Value
PARAM_VALUE 0 spec 4694604555948568576,5536961658987913216
PARAM_VALUE 0 spec->cq.context 0,4096-ptr_max
PARAM_VALUE 0 spec->cq.parent_eq 0,4096-ptr_max
PARAM_VALUE 0 spec->queue_size 4096-u32max
PARAM_VALUE 1 queue 4096-ptr_max
PARAM_VALUE 1 queue->head 0
BUF_SIZE 1 queue 160
BUF_SIZE 1 queue->gdma_dev 48
BUF_SIZE 1 queue->queue_mem_ptr 4096-s32max
CAPPED_DATA 0 spec->queue_size 1
CAPPED_DATA 1 queue->queue_size 1
DATA_SOURCE 0 spec $1
DATA_SOURCE 1 queue r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/microsoft/mana/gdma_main.c mana_gd_create_mana_wq_cq() -> mana_gd_create_cq()

Type Parameter Key Value
PARAM_VALUE 0 spec 979774089799200768,6819338368106565632
PARAM_VALUE 0 spec->cq.callback 0,1242863510160945152
PARAM_VALUE 0 spec->cq.context 0,4096-ptr_max
PARAM_VALUE 0 spec->queue_size 4096-u32max
PARAM_VALUE 1 queue 4096-ptr_max
PARAM_VALUE 1 queue->head 0
BUF_SIZE 1 queue 160
BUF_SIZE 1 queue->queue_mem_ptr 4096-s32max
CAPPED_DATA 0 spec->queue_size 1
CAPPED_DATA 1 queue->queue_size 1
DATA_SOURCE 0 spec $1
DATA_SOURCE 1 queue r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL