Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mana/qp.c mana_ib_create_ud_qp() -> destroy_shadow_queue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->buffer 16,4096-ptr_max
PARAM_VALUE 0 queue->stride 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 queue->length 0-u32max
NO_OVERFLOW_SIMPLE 0 queue->stride

drivers/infiniband/hw/mana/qp.c mana_ib_create_ud_qp() -> destroy_shadow_queue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->buffer 0,16,4096-ptr_max
PARAM_VALUE 0 queue->stride 16,24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 queue->length 0-u32max
NO_OVERFLOW_SIMPLE 0 queue->stride

drivers/infiniband/hw/mana/qp.c mana_ib_destroy_ud_qp() -> destroy_shadow_queue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mana/qp.c mana_ib_destroy_ud_qp() -> destroy_shadow_queue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL