Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/ig3rdma_hw.c ig3rdma_get_reg_addr() -> __ig3rdma_get_reg_addr()

Type Parameter Key Value
PARAM_VALUE 1 reg_offset 0-u32max
DATA_SOURCE 1 reg_offset $1
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/irdma/ig3rdma_hw.c ig3rdma_get_reg_addr() -> __ig3rdma_get_reg_addr()

Type Parameter Key Value
PARAM_VALUE 0 region 4096-ptr_max
PARAM_VALUE 1 reg_offset 0-u32max
CAPPED_DATA 1 reg_offset 1
CAPPED_DATA 1 reg_offset 1
DATA_SOURCE 1 reg_offset $1
RX_PATH
TASK_NOT_RUNNING