Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_verbs.c erdma_init_user_cq() -> erdma_map_user_dbrecords()

Type Parameter Key Value
PARAM_VALUE 2 dbr_page 4096-ptr_max
PARAM_VALUE 3 dma_addr 4096-ptr_max
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 dbrecords_va 0-u64max

drivers/infiniband/hw/erdma/erdma_verbs.c init_user_qp() -> erdma_map_user_dbrecords()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1-u64max
PARAM_VALUE 2 dbr_page 4096-ptr_max
PARAM_VALUE 3 dma_addr 3205247172749594624
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 dbrecords_va $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 dbrecords_va 0-u64max