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_pinning() -> pin_system_pages()

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.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 req->pq->dd->pcidev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 req->pq->dd->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 req->pq->handler 4096-ptr_max
PARAM_VALUE 0 req->pq->handler->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->pq->req_in_use 4096-ptr_max
PARAM_VALUE 0 req->pq->subctxt 0-7
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 start_address 0,4096-u64max
PARAM_VALUE 3 node 4096-ptr_max
PARAM_VALUE 3 node->pq 4096-ptr_max
PARAM_VALUE 3 node->pq->dd 4096-ptr_max
PARAM_VALUE 3 node->pq->handler 4096-ptr_max
PARAM_VALUE 3 node->pq->req_in_use 4096-ptr_max
PARAM_VALUE 3 node->pq->subctxt 0-7
PARAM_VALUE 3 node->pq->txreq_cache 4096-ptr_max
BUF_SIZE 0 req->tids 0,4
BUF_SIZE 3 node 104
CAPPED_DATA 0 req->data_iovs 1
CAPPED_DATA 0 req->info.comp_idx 1
CAPPED_DATA 0 req->n_tids 1
CAPPED_DATA 1 start_address 1
CAPPED_DATA 1 start_address 1
DATA_SOURCE 0 req $0
DATA_SOURCE 1 start_address $2
DATA_SOURCE 2 length $3
DATA_SOURCE 3 node r _kzalloc_noprof
BIT_INFO 1 start_address 0x0,0xfffffffffffff000
BIT_INFO 1 start_address 0x0,0xfffffffffffff000
NOSPEC 0 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-9959488[c]
USER_DATA 0 *req->tids 0-u32max
USER_DATA 2 length 0,4096-u64max
USER_DATA 4 npages s32min-s32max
NO_OVERFLOW_SIMPLE 0 req->n_tids
UNITS 1 start_address unit_byte
UNITS 2 length 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
LOCK2 &fd->pq_srcu
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hfi1_filedata)->pq_srcu