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_from_init() -> rxe_queue_init()

Type Parameter Key Value
PARAM_VALUE 0 rxe 4096-ptr_max
PARAM_VALUE 0 rxe->srq_pool.xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 num_elem 4096-ptr_max
PARAM_VALUE 1 *num_elem s32min-(-1),1-s32max
PARAM_VALUE 3 type 1
DATA_SOURCE 0 rxe $0
NOSPEC 1 *num_elem
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *num_elem 1-s32max[c]
USER_DATA 2 elem_size 0-s32max[c]
UNITS 2 elem_size unit_byte
USER_PTR 1 num_elem
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/sw/rxe/rxe_cq.c rxe_cq_from_init() -> rxe_queue_init()

Type Parameter Key Value
PARAM_VALUE 0 rxe 4096-ptr_max
PARAM_VALUE 0 rxe->attr.max_cqe 1-u32max
PARAM_VALUE 0 rxe->cq_pool.xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 *num_elem s32min-(-1),1-s32max
PARAM_VALUE 2 elem_size 72
PARAM_VALUE 3 type 0
DATA_SOURCE 0 rxe $0
NOSPEC 1 *num_elem
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *num_elem 2-s32max[c]
UNITS 2 elem_size unit_byte
USER_PTR 1 num_elem

drivers/infiniband/sw/rxe/rxe_qp.c rxe_init_rq() -> rxe_queue_init()

Type Parameter Key Value
PARAM_VALUE 1 num_elem 4096-ptr_max
PARAM_VALUE 3 type 1
DATA_SOURCE 0 rxe r to_rdev
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *num_elem s32min-s32max
UNITS 2 elem_size unit_byte
USER_PTR 1 num_elem

drivers/infiniband/sw/rxe/rxe_qp.c rxe_init_sq() -> rxe_queue_init()

Type Parameter Key Value
PARAM_VALUE 1 num_elem 4096-ptr_max
PARAM_VALUE 3 type 1
DATA_SOURCE 0 rxe r to_rdev
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *num_elem 0-s32max[c]
USER_DATA 2 elem_size 0-u32max[c]
UNITS 2 elem_size unit_byte
USER_PTR 1 num_elem

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

Type Parameter Key Value
PARAM_VALUE 1 num_elem 6332042734022914048
DATA_SOURCE 2 elem_size $2
USER_DATA 1 *num_elem s32min-s32max
UNITS 2 elem_size unit_byte
USER_PTR 1 num_elem