Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/ulp/rtrs/rtrs.c hb_work() -> schedule_hb()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->con 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/rtrs/rtrs.c hb_work() -> schedule_hb()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->con 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/rtrs/rtrs.c rtrs_start_hb() -> schedule_hb()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->dev 4096-ptr_max
DATA_SOURCE 0 path $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 path->con_num
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &pool->lock