Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/sa_query.c ib_sa_guidinfo_rec_callback() -> (struct ib_sa_guidinfo_query)->callback()

Type Parameter Key Value
PARAM_VALUE 0 status (-22),(-5),0
PARAM_VALUE 1 guid_rec 7110284313014439936
BUF_SIZE 2 context 168
DATA_SOURCE 0 status $1
FUZZY_MAX 0 status 0
CONTAINER 2 *(-0+8) $(-1)
HARD_MAX 0 status 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/sa_query.c ib_sa_guidinfo_rec_callback() -> (struct ib_sa_guidinfo_query)->callback()

Type Parameter Key Value
PARAM_VALUE 0 status (-110),(-5)-(-4)
PARAM_VALUE 1 guid_rec 0
BUF_SIZE 2 context 168
DATA_SOURCE 0 status $1
CONTAINER 2 *(-0+8) $(-1)
HARD_MAX 0 status (-4)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL