Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/hw.c irdma_del_ceq_0() -> irdma_destroy_irq()

Type Parameter Key Value
PARAM_VALUE 0 rf 4096-ptr_max
PARAM_VALUE 0 rf->aeq.palloc.level2.leaf 0
PARAM_VALUE 0 rf->init_state 0
PARAM_VALUE 0 rf->iw_msixtbl 4096-ptr_max
PARAM_VALUE 0 rf->iw_qvlist->num_vectors 1-s32max
PARAM_VALUE 0 rf->msix_shared 1
PARAM_VALUE 0 rf->pble_rsrc->pble_mutex_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rf->pble_rsrc->pinfo.clist.next 4096-ptr_max
PARAM_VALUE 0 rf->pble_rsrc->pinfo.pble_shift 6
PARAM_VALUE 0 rf->pble_rsrc->pinfo.prm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rf->sc_dev.hw->device->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rf->sc_dev.hw->device->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->bitmask 0,16777215,u32max,281474976710655,72057594037927935
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->bitoff 0,32
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->byteoff 0,8,16,24,32,40,48,56,64,72,80,88,96,104,112,120,128,136,144,152,160,168,176,184,192,200,208,216,224,232,240,248,256,264,272,280,288,296,304,312,320,328,336,344,352,360,368,376,384,392,408,416,424,432,440,448-u16max
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_cfg_aeq 0,5322352634388750336
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_cfg_ceq 0,2922630830449860608,5472205709335257088
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_dis_irq 7105717134914912256,7928283551908806656,8268027708490240000
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_en_irq 385808503277916160,1786466826774974464,4425263231340519424
PARAM_VALUE 1 msix_vec 4096-ptr_max
PARAM_VALUE 2 dev_id 4096-ptr_max
BUF_SIZE 0 rf s32min-(-1),1-s32max
BUF_SIZE 0 rf s32min-(-1),1-s32max
BUF_SIZE 0 rf->cqp_cmpl_wq (-1),512,528-8720
BUF_SIZE 2 dev_id s32min-(-1),1-s32max
CAPPED_DATA 0 rf->sc_dev.hw->device->cma_area->nranges 1
DATA_SOURCE 0 rf $0
DATA_SOURCE 2 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rf->msix_count
NO_OVERFLOW_SIMPLE 0 rf->pble_rsrc->freedpbles
NO_OVERFLOW_SIMPLE 0 rf->vchnl_wq->rescuer->task->dl.pi_se->dl_runtime
UNITS 0 rf unit_byte
UNITS 2 dev_id unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/hw.c irdma_del_ceq_0() -> irdma_destroy_irq()

Type Parameter Key Value
PARAM_VALUE 0 rf 4096-ptr_max
PARAM_VALUE 0 rf->aeq.palloc.level2.leaf 0
PARAM_VALUE 0 rf->init_state 0
PARAM_VALUE 0 rf->iw_msixtbl 4096-ptr_max
PARAM_VALUE 0 rf->iw_qvlist->num_vectors 1-s32max
PARAM_VALUE 0 rf->msix_shared 0
PARAM_VALUE 0 rf->pble_rsrc->pble_mutex_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rf->pble_rsrc->pinfo.clist.next 4096-ptr_max
PARAM_VALUE 0 rf->pble_rsrc->pinfo.pble_shift 6
PARAM_VALUE 0 rf->pble_rsrc->pinfo.prm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rf->sc_dev.hw->device->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rf->sc_dev.hw->device->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->bitmask 0,16777215,u32max,281474976710655,72057594037927935
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->bitoff 0,32
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->byteoff 0,8,16,24,32,40,48,56,64,72,80,88,96,104,112,120,128,136,144,152,160,168,176,184,192,200,208,216,224,232,240,248,256,264,272,280,288,296,304,312,320,328,336,344,352,360,368,376,384,392,408,416,424,432,440,448-u16max
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_cfg_aeq 0,5322352634388750336
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_cfg_ceq 0,2922630830449860608,5472205709335257088
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_dis_irq 7105717134914912256,7928283551908806656,8268027708490240000
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_en_irq 385808503277916160,1786466826774974464,4425263231340519424
PARAM_VALUE 1 msix_vec 4096-ptr_max
BUF_SIZE 0 rf s32min-(-1),1-s32max
BUF_SIZE 0 rf s32min-(-1),1-s32max
BUF_SIZE 0 rf->cqp_cmpl_wq (-1),512,528-8720
CAPPED_DATA 0 rf->sc_dev.hw->device->cma_area->nranges 1
DATA_SOURCE 0 rf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rf->msix_count
NO_OVERFLOW_SIMPLE 0 rf->pble_rsrc->freedpbles
NO_OVERFLOW_SIMPLE 0 rf->vchnl_wq->rescuer->task->dl.pi_se->dl_runtime
UNITS 0 rf unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/hw.c irdma_del_ceqs() -> irdma_destroy_irq()

Type Parameter Key Value
PARAM_VALUE 0 rf 4096-ptr_max
PARAM_VALUE 0 rf->ceqlist 4096-ptr_max
PARAM_VALUE 0 rf->ceqs_count 2-u32max
PARAM_VALUE 0 rf->init_state 0,6
PARAM_VALUE 0 rf->iw_msixtbl 4096-ptr_max
PARAM_VALUE 0 rf->iw_qvlist->num_vectors 1-s32max
PARAM_VALUE 0 rf->pble_rsrc->pinfo.pble_shift 6
PARAM_VALUE 0 rf->sc_dev.hw->device->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rf->sc_dev.hw->device->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->bitmask 0,16777215,u32max,281474976710655,72057594037927935
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->bitoff 0,32
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->byteoff 0,8,16,24,32,40,48,56,64,72,80,88,96,104,112,120,128,136,144,152,160,168,176,184,192,200,208,216,224,232,240,248,256,264,272,280,288,296,304,312,320,328,336,344,352,360,368,376,384,392,408,416,424,432,440,448-u16max
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_cfg_aeq 0,5322352634388750336
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_cfg_ceq 0,2922630830449860608,5472205709335257088
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_dis_irq 7105717134914912256,7928283551908806656,8268027708490240000
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_en_irq 385808503277916160,1786466826774974464,4425263231340519424
PARAM_VALUE 1 msix_vec 4096-u64max
PARAM_VALUE 2 dev_id 4096-u64max
BUF_SIZE 0 rf s32min-(-1),1-s32max
BUF_SIZE 0 rf s32min-(-1),1-s32max
BUF_SIZE 0 rf->cqp_cmpl_wq (-1),512,528-8720
CAPPED_DATA 0 rf 1
CAPPED_DATA 0 rf->sc_dev.hw->device->cma_area->nranges 1
DATA_SOURCE 0 rf $0
HARD_MAX 0 rf->init_state 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rf->msix_count
NO_OVERFLOW_SIMPLE 0 rf->pble_rsrc->freedpbles
NO_OVERFLOW_SIMPLE 0 rf->vchnl_wq->rescuer->task->dl.pi_se->dl_runtime
UNITS 0 rf unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/hw.c irdma_destroy_aeq() -> irdma_destroy_irq()

Type Parameter Key Value
PARAM_VALUE 0 rf 4096-ptr_max
PARAM_VALUE 0 rf->init_state 0,8
PARAM_VALUE 0 rf->iw_qvlist->num_vectors 1-s32max
PARAM_VALUE 0 rf->msix_shared 0
PARAM_VALUE 0 rf->pble_rsrc->pinfo.pble_shift 6
PARAM_VALUE 0 rf->sc_dev.hw->device->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->bitmask 0,16777215,u32max,281474976710655,72057594037927935
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->bitoff 0,32
PARAM_VALUE 0 rf->sc_dev.hw_stats_map->byteoff 0,8,16,24,32,40,48,56,64,72,80,88,96,104,112,120,128,136,144,152,160,168,176,184,192,200,208,216,224,232,240,248,256,264,272,280,288,296,304,312,320,328,336,344,352,360,368,376,384,392,408,416,424,432,440,448-u16max
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_cfg_aeq 0,5322352634388750336
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_cfg_ceq 0,2922630830449860608,5472205709335257088
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_dis_irq 7105717134914912256,7928283551908806656,8268027708490240000
PARAM_VALUE 0 rf->sc_dev.irq_ops->irdma_en_irq 385808503277916160,1786466826774974464,4425263231340519424
PARAM_VALUE 0 *rf->iw_msixtbl->name 0-255
PARAM_VALUE 1 *msix_vec->name 0-255
PARAM_VALUE 2 dev_id 4096-ptr_max
BUF_SIZE 0 rf s32min-(-1),1-s32max
BUF_SIZE 0 rf s32min-(-1),1-s32max
BUF_SIZE 0 rf->cqp_cmpl_wq (-1),512,528-8720
BUF_SIZE 2 dev_id s32min-(-1),1-s32max
CAPPED_DATA 0 rf 1
CAPPED_DATA 0 rf->sc_dev.hw->device->cma_area->nranges 1
DATA_SOURCE 0 rf $0
DATA_SOURCE 2 dev_id $0
HARD_MAX 0 rf->init_state 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rf->msix_count
NO_OVERFLOW_SIMPLE 0 rf->pble_rsrc->freedpbles
NO_OVERFLOW_SIMPLE 0 rf->vchnl_wq->rescuer->task->dl.pi_se->dl_runtime
UNITS 0 rf unit_byte
UNITS 2 dev_id unit_byte
HALF_LOCKED2 &pool->lock