Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/addr.c process_one_req() -> addr_resolve()

Type Parameter Key Value
PARAM_VALUE 0 src_in 4096-ptr_max
PARAM_VALUE 1 dst_in 4096-ptr_max
PARAM_VALUE 3 resolve_neigh 1
BUF_SIZE 0 src_in 128
BUF_SIZE 0 src_in 128
BUF_SIZE 1 dst_in 128
BUF_SIZE 1 dst_in 128
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/addr.c rdma_resolve_ip() -> addr_resolve()

Type Parameter Key Value
PARAM_VALUE 0 src_in 4096-ptr_max
PARAM_VALUE 1 dst_in 4096-ptr_max
PARAM_VALUE 2 addr 4096-ptr_max
PARAM_VALUE 3 resolve_neigh 1
BUF_SIZE 0 src_in 128
BUF_SIZE 0 src_in 128
BUF_SIZE 1 dst_in 128
BUF_SIZE 1 dst_in 128
DATA_SOURCE 2 addr $2
DATA_SOURCE 4 resolve_by_gid_attr $5
DATA_SOURCE 5 seq r atomic_inc_return
NOSPEC 0 src_in->sa_family
NOSPEC 1 dst_in->sa_family
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 src_in->sa_family 0-26,28-u16max[c]
USER_DATA 1 dst_in->sa_family 0-26,28-u16max[c]
USER_PTR 1 dst_in->sa_data

drivers/infiniband/core/addr.c roce_resolve_route_from_path() -> addr_resolve()

Type Parameter Key Value
PARAM_VALUE 0 src_in 6039926675137708032
PARAM_VALUE 1 dst_in 929093309400772608
PARAM_VALUE 2 addr 5015540578155786240
PARAM_VALUE 2 addr->bound_dev_if 0
PARAM_VALUE 2 addr->dev_type 0
PARAM_VALUE 2 addr->hoplimit 0
PARAM_VALUE 2 addr->net 1824583183996030976
PARAM_VALUE 2 addr->network 0
PARAM_VALUE 2 addr->sgid_attr 4096-ptr_max
PARAM_VALUE 3 resolve_neigh 0
PARAM_VALUE 4 resolve_by_gid_attr 1
PARAM_VALUE 5 seq 0
BUF_SIZE 0 src_in 28
BUF_SIZE 1 dst_in 28
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &pool->lock