Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/pin_system.c add_system_iovec_to_sdma_packet() -> add_mapping_to_sdma_packet()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->cq 1-u64max
PARAM_VALUE 0 req->data_iovs 0-8
PARAM_VALUE 0 req->data_len 1-u32max
PARAM_VALUE 0 req->has_error 0
PARAM_VALUE 0 req->hdr.bth 4096-ptr_max
PARAM_VALUE 0 req->hdr.kdeth.swdata 4096-ptr_max
PARAM_VALUE 0 req->hdr.lrh 4096-ptr_max
PARAM_VALUE 0 req->hdr.pbc 4096-ptr_max
PARAM_VALUE 0 req->info.fragsize 1-u16max
PARAM_VALUE 0 req->iovs 4096-ptr_max
PARAM_VALUE 0 req->pq 4096-ptr_max
PARAM_VALUE 0 req->pq->dd 4096-ptr_max
PARAM_VALUE 0 req->pq->dd->pcidev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 req->pq->handler->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->pq->handler->lru_list.prev 4096-ptr_max
PARAM_VALUE 0 req->pq->handler->lru_list.prev->next 4096-ptr_max
PARAM_VALUE 0 req->pq->handler->lru_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 req->pq->handler->root.rb_root.rb_node 1-u64max
PARAM_VALUE 0 req->pq->req_in_use 4096-ptr_max
PARAM_VALUE 0 req->pq->txreq_cache 4096-ptr_max
PARAM_VALUE 0 req->pq->txreq_cache->object_size 0-4294967295
PARAM_VALUE 0 req->sde 4096-ptr_max
PARAM_VALUE 0 req->sde->state.current_state 10
PARAM_VALUE 0 req->sde->tail_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->seqcomp 0
PARAM_VALUE 0 req->tids 0-ptr_max
PARAM_VALUE 0 req->txps.next 4096-ptr_max
PARAM_VALUE 0 req->txps.next->next 4096-ptr_max
PARAM_VALUE 0 req->txps.prev 4096-ptr_max
PARAM_VALUE 0 req->txps.prev->next 4096-ptr_max
PARAM_VALUE 0 req->txps.prev->prev 4096-ptr_max
PARAM_VALUE 1 tx 4096-ptr_max
PARAM_VALUE 1 tx->flags 0,2-3
PARAM_VALUE 1 tx->list.next 4096-ptr_max
PARAM_VALUE 1 tx->list.next->next 4096-ptr_max
PARAM_VALUE 1 tx->list.prev 4096-ptr_max
PARAM_VALUE 1 tx->list.prev->next 4096-ptr_max
PARAM_VALUE 1 tx->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 tx->req 4096-ptr_max
PARAM_VALUE 1 tx->req->cq 1-u64max
PARAM_VALUE 1 tx->req->data_iovs 0-8
PARAM_VALUE 1 tx->req->has_error 0
PARAM_VALUE 1 tx->req->info.fragsize 1-u16max
PARAM_VALUE 1 tx->req->pq 4096-ptr_max
PARAM_VALUE 1 tx->req->sde 4096-ptr_max
PARAM_VALUE 1 tx->req->seqcomp 0
PARAM_VALUE 1 tx->req->tids 0-ptr_max
PARAM_VALUE 1 tx->req->txps.next 4096-ptr_max
PARAM_VALUE 1 tx->req->txps.prev 4096-ptr_max
PARAM_VALUE 1 tx->txreq.list.next->next 4096-ptr_max
PARAM_VALUE 1 tx->txreq.list.prev->next 4096-ptr_max
PARAM_VALUE 1 tx->txreq.list.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache_entry 4096-ptr_max
PARAM_VALUE 2 cache_entry->npages 0-4294967295
PARAM_VALUE 4 from_this_cache_entry 0-u32max
BUF_SIZE 0 req->tids 0,4
CAPPED_DATA 0 req->data_iovs 1
CAPPED_DATA 0 req->info.comp_idx 1
CAPPED_DATA 1 tx->req->data_iovs 1
CAPPED_DATA 1 tx->req->info.comp_idx 1
CAPPED_DATA 4 from_this_cache_entry 1
CAPPED_DATA 4 from_this_cache_entry 1
DATA_SOURCE 0 req $0
DATA_SOURCE 1 tx $1
FUZZY_MAX 1 tx->flags 0
NOSPEC 0 req->info.npkts
NOSPEC 1 tx->req->info.npkts
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->hdr.kdeth.hcrc 0-u16max
USER_DATA 0 req->hdr.kdeth.jkey 0-u16max
USER_DATA 0 req->hdr.kdeth.ver_tid_offset 0-u32max
USER_DATA 0 req->info.ctrl 0-u16max
USER_DATA 0 req->info.fragsize 1-u16max
USER_DATA 0 req->info.npkts 0-u16max
USER_DATA 0 req->tidoffset 0-10483648[c]
USER_DATA 0 *req->tids 0-u32max
USER_DATA 1 tx->hdr.kdeth.hcrc 0-u16max
USER_DATA 1 tx->hdr.kdeth.jkey 0-u16max
USER_DATA 1 tx->hdr.kdeth.ver_tid_offset 0-u32max
USER_DATA 1 tx->req->hdr.kdeth.hcrc 0-u16max
USER_DATA 1 tx->req->hdr.kdeth.jkey 0-u16max
USER_DATA 1 tx->req->hdr.kdeth.ver_tid_offset 0-u32max
USER_DATA 1 tx->req->info.ctrl 0-u16max
USER_DATA 1 tx->req->info.fragsize 1-u16max
USER_DATA 1 tx->req->info.npkts 0-u16max
USER_DATA 1 tx->req->tidoffset 0-10221568[c]
USER_DATA 1 tx->txreq.coalesce_idx 0-u16max[c][u]
USER_DATA 1 tx->txreq.packet_len 1-16401[c]
USER_DATA 1 tx->txreq.tlen 1-16383[c]
USER_DATA 2 cache_entry->npages 0-s32max
USER_DATA 2 cache_entry->rb.__last (-1)
USER_DATA 2 cache_entry->rb.len s64min-s64max
USER_DATA 4 from_this_cache_entry 1-262080[c]
NO_OVERFLOW_SIMPLE 0 req->n_tids
NO_OVERFLOW_SIMPLE 1 tx->req->n_tids
UNITS 3 start unit_byte
UNITS 4 from_this_cache_entry unit_byte
USER_PTR 0 req->hdr.bth
USER_PTR 0 req->hdr.lrh
USER_PTR 0 req->hdr.pbc
USER_PTR 0 req->tids
USER_PTR 1 tx->req->tids
LOCK2 &fd->pq_srcu
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hfi1_filedata)->pq_srcu