Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cache.c find_gid() -> is_gid_entry_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &table->lock
TYPE_LOCK (struct ib_gid_table)->lock

drivers/infiniband/core/cache.c release_gid_table() -> is_gid_entry_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock