Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cm.c _iba_set64() -> _iba_get64()

Type Parameter Key Value
DATA_SOURCE 0 ptr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ptr unit_byte
LOCK2 &cm_id_priv->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_format_paths_from_req() -> _iba_get64()

Type Parameter Key Value
UNITS 0 ptr unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cm.c cm_format_paths_from_req() -> _iba_get64()

Type Parameter Key Value
UNITS 0 ptr unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cm.c cm_format_rep_event() -> _iba_get64()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
UNITS 0 ptr unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cm.c cm_format_req_event() -> _iba_get64()

Type Parameter Key Value
UNITS 0 ptr unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cm.c cm_format_sidr_req_event() -> _iba_get64()

Type Parameter Key Value
UNITS 0 ptr unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cm.c cm_match_req() -> _iba_get64()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
UNITS 0 ptr unit_byte
LOCK2 global &cm.lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ib_cm)->lock

drivers/infiniband/core/cm.c cm_rep_handler() -> _iba_get64()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
UNITS 0 ptr unit_byte
LOCK2 &cm_id_priv->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_req_handler() -> _iba_get64()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
UNITS 0 ptr unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cm.c cm_req_handler() -> _iba_get64()

Type Parameter Key Value
UNITS 0 ptr unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cm.c cm_sidr_req_handler() -> _iba_get64()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
UNITS 0 ptr unit_byte
HALF_LOCKED2 &pool->lock