Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/irdma/utils.c irdma_map_vm_page_list() -> irdma_unmap_vm_page_list()

Type Parameter Key Value
PARAM_VALUE 1 pg_dma 0,16,4096-ptr_max
PARAM_VALUE 2 pg_cnt 0-2047
BUF_SIZE 1 pg_dma (-1),8-4096
BUF_SIZE 1 pg_dma (-1),8-4096
CAPPED_DATA 2 pg_cnt 1
DATA_SOURCE 0 hw $0
DATA_SOURCE 1 pg_dma $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 pg_cnt unit_array_size

drivers/infiniband/hw/irdma/utils.c irdma_pble_free_paged_mem() -> irdma_unmap_vm_page_list()

Type Parameter Key Value
PARAM_VALUE 2 pg_cnt 1-u32max
BUF_SIZE 1 pg_dma 8-4096
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 pg_cnt unit_array_size

drivers/infiniband/hw/irdma/hw.c irdma_destroy_virt_aeq() -> irdma_unmap_vm_page_list()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 2 pg_cnt 0-1048576
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock