format_lock_cookie identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/block/rbd.c, line 3661 (as a function)

Referenced in 1 files:

drivers/block/rbd.c
- line 3690
- line 4594

Smatch caller information:

drivers/block/rbd.c rbd_lock() -> format_lock_cookie()

Type	Parameter	Key	Value
PARAM_VALUE	0	rbd_dev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->header_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->header_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->lock_cookie	4096-ptr_max
PARAM_VALUE	0	rbd_dev->lock_rwsem.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->handoff_set	1
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->lock_rwsem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_state	0,3-u32max
PARAM_VALUE	0	rbd_dev->rbd_client	4096-ptr_max
PARAM_VALUE	0	rbd_dev->rbd_client->client->osdc.lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->rbd_client->client->osdc.lock.first_waiter->type	0-1
PARAM_VALUE	1	buf	3097440770999287808
BUF_SIZE	1	buf	32
DATA_SOURCE	0	rbd_dev	$0
NOCHECK_CALL
LOCK2	0	&rbd_dev->lock_rwsem
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct rbd_device)->lock_rwsem

drivers/block/rbd.c rbd_reacquire_lock() -> format_lock_cookie()

Type	Parameter	Key	Value
PARAM_VALUE	0	rbd_dev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->lock_rwsem.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->lock_rwsem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->lock_state	2
PARAM_VALUE	0	rbd_dev->quiescing_wait.done	0-4294967293,u32max
PARAM_VALUE	0	rbd_dev->rbd_client	4096-ptr_max
PARAM_VALUE	0	rbd_dev->rbd_client->client->osdc.osdmap->max_osd	1-u32max
PARAM_VALUE	0	rbd_dev->watch_handle	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->data	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->errcb	1413625559729684480
PARAM_VALUE	0	rbd_dev->watch_handle->is_watch	1
PARAM_VALUE	0	rbd_dev->watch_handle->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->watch_handle->mtime.tv_nsec	0-999999999
PARAM_VALUE	0	rbd_dev->watch_handle->node.__rb_parent_color	1
PARAM_VALUE	0	rbd_dev->watch_handle->node.rb_left	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->node.rb_right	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.lock.magic	3735899821
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->notify_finish_wait.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->notify_id	0
PARAM_VALUE	0	rbd_dev->watch_handle->osd	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->osdc	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->osdc_node.__rb_parent_color	1
PARAM_VALUE	0	rbd_dev->watch_handle->osdc_node.rb_left	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->osdc_node.rb_right	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->pending_lworks.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->pending_lworks.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->reg_commit_wait.done	0-4294967293,u32max
PARAM_VALUE	0	rbd_dev->watch_handle->reg_commit_wait.wait.lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->reg_commit_wait.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	rbd_dev->watch_handle->reg_commit_wait.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->reg_req	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->scan_item.next	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->scan_item.prev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_handle->t.acting.primary	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.acting.size	0
PARAM_VALUE	0	rbd_dev->watch_handle->t.flags	32
PARAM_VALUE	0	rbd_dev->watch_handle->t.last_force_resend	1-u32max
PARAM_VALUE	0	rbd_dev->watch_handle->t.min_size	(-1)-255
PARAM_VALUE	0	rbd_dev->watch_handle->t.osd	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.size	(-1)-255
PARAM_VALUE	0	rbd_dev->watch_handle->t.spgid.pgid.seed	0-2147483646
PARAM_VALUE	0	rbd_dev->watch_handle->t.spgid.shard	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.target_oloc.pool	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.up.primary	(-1)
PARAM_VALUE	0	rbd_dev->watch_handle->t.up.size	0
PARAM_VALUE	0	rbd_dev->watch_handle->wcb	7781559158959595520
PARAM_VALUE	0	rbd_dev->watch_mutex.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->watch_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	rbd_dev->watch_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->watch_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->watch_state	1
PARAM_VALUE	1	buf	1177798406475743232
BUF_SIZE	1	buf	32
DATA_SOURCE	0	rbd_dev	$0
NOCHECK_CALL
LOCK2	0	&rbd_dev->lock_rwsem
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct rbd_device)->lock_rwsem