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/sw/rxe/rxe_srq.c rxe_srq_cleanup() -> rxe_queue_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 q 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ufile->hw_destroy_rwsem

drivers/infiniband/sw/rxe/rxe_srq.c rxe_srq_from_init() -> rxe_queue_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->buf 4096-ptr_max
PARAM_VALUE 0 q->buf->log2_elem_size 0-64
PARAM_VALUE 0 q->elem_size 0-s32max
PARAM_VALUE 0 q->ip 0,4096-ptr_max
PARAM_VALUE 0 q->ip->info.size 0,4096-4294967295
PARAM_VALUE 0 q->ip->ref.refcount.refs.counter 1
PARAM_VALUE 0 q->log2_elem_size 0-64
PARAM_VALUE 0 q->rxe 4096-ptr_max
PARAM_VALUE 0 q->type 1
BUF_SIZE 0 q 56
DATA_SOURCE 0 q r rxe_queue_init
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 q->elem_size 0-s32max[c]
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/sw/rxe/rxe_cq.c rxe_cq_cleanup() -> rxe_queue_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 q 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ufile->hw_destroy_rwsem

drivers/infiniband/sw/rxe/rxe_qp.c rxe_qp_do_cleanup() -> rxe_queue_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 q 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/sw/rxe/rxe_qp.c rxe_qp_do_cleanup() -> rxe_queue_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 q 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/sw/rxe/rxe_qp.c rxe_qp_from_init() -> rxe_queue_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->buf 4096-ptr_max
PARAM_VALUE 0 q->buf->log2_elem_size 0-64
PARAM_VALUE 0 q->elem_size 0-s32max
PARAM_VALUE 0 q->ip 0,4096-ptr_max
PARAM_VALUE 0 q->ip->info.size 0,4096-u32max
PARAM_VALUE 0 q->ip->ref.refcount.refs.counter 1
PARAM_VALUE 0 q->log2_elem_size 0-64
PARAM_VALUE 0 q->type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/sw/rxe/rxe_queue.c rxe_queue_resize() -> rxe_queue_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->buf 4096-ptr_max
PARAM_VALUE 0 q->buf->log2_elem_size 0-64
PARAM_VALUE 0 q->ip->info.size 0,4096-4294967295
PARAM_VALUE 0 q->ip->ref.refcount.refs.counter 1
PARAM_VALUE 0 q->rxe->mmap_offset 1-u64max
PARAM_VALUE 0 q->rxe->mmap_offset_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 q->rxe->pending_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 q->rxe->pending_mmaps.next 4096-ptr_max
PARAM_VALUE 0 q->rxe->pending_mmaps.next->next 4096-ptr_max
PARAM_VALUE 0 q->rxe->pending_mmaps.next->prev 4096-ptr_max
BUF_SIZE 0 q 56
DATA_SOURCE 0 q r rxe_queue_init
NOCHECK_CALL
USER_DATA 0 q->elem_size 0-u32max[c]