Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/mana/main.c mana_ib_create_eqs() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->gic_mutex.dep_map->name 0-255
PARAM_VALUE 0 gc->gic_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 gc->gic_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gc->gic_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 gc->gic_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 gc->irq_contexts.xa_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte

drivers/infiniband/hw/mana/main.c mana_ib_create_eqs() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->gic_mutex.dep_map->name 0-255
PARAM_VALUE 0 gc->gic_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 gc->gic_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gc->gic_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 gc->gic_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 gc->irq_contexts.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte

drivers/infiniband/hw/mana/main.c mana_ib_destroy_eqs() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte
HALF_LOCKED2 &dev->mutex

drivers/infiniband/hw/mana/main.c mana_ib_destroy_eqs() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->gic_mutex.dep_map->name 0-255
PARAM_VALUE 0 gc->gic_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 gc->gic_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gc->gic_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 gc->gic_mutex.osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte
HALF_LOCKED2 &dev->mutex

drivers/infiniband/hw/mana/main.c mana_ib_destroy_queue() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 1 queue 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/microsoft/mana/mana_en.c mana_deinit_cq() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 1 queue 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/mana_en.c mana_deinit_txq() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 1 queue 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/mana_en.c mana_destroy_eq() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 1 queue 4096-ptr_max
PARAM_VALUE 1 queue->mem_info.dev->cma_area->nranges s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte
HALF_LOCKED2 &pd->vport_mutex

drivers/net/ethernet/microsoft/mana/mana_en.c mana_destroy_rxq() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 1 queue 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte
HALF_LOCKED2 &ndev->lock

drivers/net/ethernet/microsoft/mana/hw_channel.c mana_hwc_destroy_cq() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 queue 1-u64max
DATA_SOURCE 0 gc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/hw_channel.c mana_hwc_destroy_cq() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 queue 1-u64max
DATA_SOURCE 0 gc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte

drivers/net/ethernet/microsoft/mana/hw_channel.c mana_hwc_destroy_wq() -> mana_gd_destroy_queue()

Type Parameter Key Value
PARAM_VALUE 0 gc->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 queue 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gc unit_byte