Open Menu /

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/mcg.c mlx4_ib_mcg_demux_handler() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 group->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 group->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 group->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 group->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 group->node.__rb_parent_color 1
PARAM_VALUE 0 group->node.rb_left 4096-ptr_max
PARAM_VALUE 0 group->node.rb_right 4096-ptr_max
PARAM_VALUE 0 group->response_sa_mad.mad_hdr.attr_id 56
PARAM_VALUE 0 group->response_sa_mad.mad_hdr.method 129,149
PARAM_VALUE 0 group->state 3
PARAM_VALUE 1 from_timeout_handler 0
BUF_SIZE 0 group (-1),3504
BUF_SIZE 0 group (-1),3504
CAPPED_DATA 0 &group->lock 1
CAPPED_DATA 0 &group->work 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mcg.c mlx4_ib_mcg_multiplex_handler() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->func 4096-ptr_max
PARAM_VALUE 0 group->lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 group->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 group->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 group->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 group->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 group->node.__rb_parent_color 1
PARAM_VALUE 0 group->node.rb_left 4096-ptr_max
PARAM_VALUE 0 group->node.rb_right 4096-ptr_max
PARAM_VALUE 1 from_timeout_handler 0
BUF_SIZE 0 group (-1),3504
BUF_SIZE 0 group (-1),3504
CAPPED_DATA 0 &group->lock 1
DATA_SOURCE 0 group r acquire_group
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mcg.c mlx4_ib_mcg_multiplex_handler() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->demux 4096-ptr_max
PARAM_VALUE 0 group->func 4096-ptr_max
PARAM_VALUE 0 group->lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 group->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 group->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 group->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 group->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 group->node.__rb_parent_color 1
PARAM_VALUE 0 group->node.rb_left 4096-ptr_max
PARAM_VALUE 0 group->node.rb_right 4096-ptr_max
PARAM_VALUE 1 from_timeout_handler 0
BUF_SIZE 0 group (-1),3504
BUF_SIZE 0 group (-1),3504
CAPPED_DATA 0 &group->lock 1
DATA_SOURCE 0 group r acquire_group
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mcg.c mlx4_ib_mcg_timeout_handler() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->func 4096-ptr_max
PARAM_VALUE 0 group->lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 group->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 group->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 group->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 group->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 group->state 1
PARAM_VALUE 1 from_timeout_handler 1
CAPPED_DATA 0 &group->lock 1
CAPPED_DATA 0 &group->pending_list 1
PARAM_COMPARE 0 &group->pending_list != $0->pending_list.next
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mcg.c mlx4_ib_mcg_timeout_handler() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 group->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 group->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 group->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 group->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 group->state 0
PARAM_VALUE 1 from_timeout_handler 1
CAPPED_DATA 0 &group->lock 1
BIT_INFO 0 group->rec.scope_join_state 0x0,0xf0
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mcg.c mlx4_ib_mcg_work_handler() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 group->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 group->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 group->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 from_timeout_handler 0
CAPPED_DATA 0 &group->lock 1
CAPPED_DATA 0 &group->pending_list 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mcg.c search_relocate_mgid0_group() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->func 4096-ptr_max
PARAM_VALUE 0 group->last_req_tid 0-255
PARAM_VALUE 0 group->lock.dep_map->name 0-255
PARAM_VALUE 0 group->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 group->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 group->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 group->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 group->mgid0_list.next->prev 4096-ptr_max
PARAM_VALUE 0 group->mgid0_list.prev->next 4096-ptr_max
PARAM_VALUE 1 from_timeout_handler 0
CAPPED_DATA 0 group->last_req_tid 1
CAPPED_DATA 0 &group->lock 1
CAPPED_DATA 0 &group->mgid0_list 1
NOCHECK_CALL
LOCK2 &pool->lock

drivers/infiniband/core/multicast.c ib_sa_free_multicast() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 group->state 1-u32max
PARAM_VALUE 0 *group->members s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/multicast.c mcast_work_handler() -> release_group()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 group->query->release 0-s64max
PARAM_VALUE 0 group->state 0
CAPPED_DATA 0 &group->pending_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL