Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/ionic/ionic_pgtbl.c ionic_pgtbl_init() -> ionic_pgtbl_page()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->tbl_buf 0,4096-ptr_max
PARAM_VALUE 0 buf->tbl_dma 0-18446744073709551614
PARAM_VALUE 0 buf->tbl_limit 1-s32max
PARAM_VALUE 0 buf->tbl_pages 0
DATA_SOURCE 0 buf $1
DATA_SOURCE 1 dma $3
FUZZY_MAX 0 buf->tbl_dma 0
MEM_ZERO 0 buf
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 buf->tbl_limit
UNITS 1 dma unit_byte

drivers/infiniband/hw/ionic/ionic_pgtbl.c ionic_pgtbl_umem() -> ionic_pgtbl_page()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->tbl_buf 0,4096-ptr_max
PARAM_VALUE 0 buf->tbl_limit 1-s32max
PARAM_VALUE 0 buf->tbl_pages 0-1
CAPPED_DATA 1 dma 1
CAPPED_DATA 1 dma 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 dma r rdma_block_iter_dma_address
MEM_ZERO 0 buf
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 buf->tbl_limit

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_map_mr_page() -> ionic_pgtbl_page()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
CAPPED_DATA 1 dma 1
CAPPED_DATA 1 dma 1
DATA_SOURCE 1 dma $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dma unit_byte