Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/init.c hfi1_create_ctxtdata() -> hfi1_kern_init_ctxt_generations()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd 4096-ptr_max
PARAM_VALUE 0 rcd->dd->num_rcv_contexts 1-u32max
PARAM_VALUE 0 rcd->do_interrupt 7319624590385352704
PARAM_VALUE 0 rcd->egrbufs.buffers 1-u64max
PARAM_VALUE 0 rcd->egrbufs.count 0-2048
PARAM_VALUE 0 rcd->egrbufs.rcvtid_size 262144
PARAM_VALUE 0 rcd->egrbufs.rcvtids 1-u64max
PARAM_VALUE 0 rcd->exp_mutex.dep_map->name 0-255
PARAM_VALUE 0 rcd->exp_mutex.first_waiter 0
PARAM_VALUE 0 rcd->exp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 rcd->exp_mutex.osq.tail.counter 0
PARAM_VALUE 0 rcd->exp_mutex.owner.counter 0
PARAM_VALUE 0 rcd->flow_queue.queue_head.next 4096-ptr_max
PARAM_VALUE 0 rcd->flow_queue.queue_head.next->next 4096-ptr_max
PARAM_VALUE 0 rcd->flow_queue.queue_head.prev 4096-ptr_max
PARAM_VALUE 0 rcd->flow_queue.queue_head.prev->next 4096-ptr_max
PARAM_VALUE 0 rcd->flow_queue.queue_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter 1
PARAM_VALUE 0 rcd->msix_intr 256
PARAM_VALUE 0 rcd->opstats 1-u64max
PARAM_VALUE 0 rcd->ppd 4096-ptr_max
PARAM_VALUE 0 rcd->ppd->dd 4096-ptr_max
PARAM_VALUE 0 rcd->qp_wait_list.next 4096-ptr_max
PARAM_VALUE 0 rcd->qp_wait_list.next->next 4096-ptr_max
PARAM_VALUE 0 rcd->qp_wait_list.prev 4096-ptr_max
PARAM_VALUE 0 rcd->qp_wait_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rcd->qp_wait_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rcd->rarr_queue.queue_head.next 4096-ptr_max
PARAM_VALUE 0 rcd->rarr_queue.queue_head.next->next 4096-ptr_max
PARAM_VALUE 0 rcd->rarr_queue.queue_head.prev 4096-ptr_max
PARAM_VALUE 0 rcd->rarr_queue.queue_head.prev->next 4096-ptr_max
PARAM_VALUE 0 rcd->rarr_queue.queue_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rcd->rhf_rcv_function_map 7287357882504753152
PARAM_VALUE 0 rcd->slow_handler 7319624590385352704
PARAM_VALUE 0 rcd->tid_full_list.count 0
PARAM_VALUE 0 rcd->tid_group_list.count 0
PARAM_VALUE 0 rcd->tid_used_list.count 0
PARAM_VALUE 0 *rcd->dd->rcd 4096-ptr_max
BUF_SIZE 0 rcd 1312
BUF_SIZE 0 rcd->egrbufs.buffers 24
BUF_SIZE 0 rcd->egrbufs.rcvtids 16
BUF_SIZE 0 rcd->opstats 4096
BUF_SIZE 0 rcd->rhf_rcv_function_map 64
CAPPED_DATA 0 rcd->dd->num_rcv_contexts 1
CAPPED_DATA 0 rcd->dd->rcv_entries.nctxt_extra 1
CAPPED_DATA 0 rcd->egrbufs.count 1
DATA_SOURCE 0 rcd r _kmalloc_node_noprof
FUZZY_MAX 0 rcd->egrbufs.count 2048
HARD_MAX 0 rcd->egrbufs.count 2048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rcd->egrbufs.count
HALF_LOCKED2 global &hfi1_mutex