Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/mds_client.c ceph_mdsc_init() -> ceph_caps_init()

Type Parameter Key Value
PARAM_VALUE 0 mdsc 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_delay_list.next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_delay_list.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_delay_list.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_delay_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_delay_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_dirty_migrating.next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_dirty_migrating.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_dirty_migrating.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_dirty_migrating.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_dirty_migrating.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flush_list.next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flush_list.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flush_list.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flush_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flush_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flushing_wq.head.next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flushing_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flushing_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flushing_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_flushing_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_unlink_delay_list.next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_unlink_delay_list.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_unlink_delay_list.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_unlink_delay_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_unlink_delay_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_wait_list.next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_wait_list.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_wait_list.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_wait_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->cap_wait_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_dir_leases.next 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_dir_leases.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_dir_leases.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_dir_leases.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_dir_leases.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_leases.next 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_leases.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_leases.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_leases.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->dentry_leases.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->dirty_folios.counter 0
PARAM_VALUE 0 mdsc->flush_end_wq.head.next 4096-ptr_max
PARAM_VALUE 0 mdsc->flush_end_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->flush_end_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->flush_end_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->flush_end_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->fsc 4096-ptr_max
PARAM_VALUE 0 mdsc->fsc->cap_wq 4096-ptr_max
PARAM_VALUE 0 mdsc->fsc->client 4096-ptr_max
PARAM_VALUE 0 mdsc->fsc->filp_gen 1
PARAM_VALUE 0 mdsc->fsc->have_copy_from2 1
PARAM_VALUE 0 mdsc->fsc->inode_wq 4096-ptr_max
PARAM_VALUE 0 mdsc->fsc->metric_wakeup.next 2868370052836065280
PARAM_VALUE 0 mdsc->fsc->metric_wakeup.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->fsc->mount_options 4096-ptr_max
PARAM_VALUE 0 mdsc->fsc->mount_state 0
PARAM_VALUE 0 mdsc->fsc->sb 0
PARAM_VALUE 0 mdsc->fsc->write_congested 0
PARAM_VALUE 0 mdsc->fsc->writeback_count.counter 0
PARAM_VALUE 0 mdsc->last_cap_flush_tid 1
PARAM_VALUE 0 mdsc->mdsmap 4096-ptr_max
PARAM_VALUE 0 mdsc->metric.opened_files.counter 0
PARAM_VALUE 0 mdsc->metric.session 0
PARAM_VALUE 0 mdsc->metric.total_caps.counter 0
PARAM_VALUE 0 mdsc->metric.total_dentries.counter 0
PARAM_VALUE 0 mdsc->mutex.dep_map->name 0-255
PARAM_VALUE 0 mdsc->mutex.first_waiter 0
PARAM_VALUE 0 mdsc->mutex.magic 4096-ptr_max
PARAM_VALUE 0 mdsc->mutex.osq.tail.counter 0
PARAM_VALUE 0 mdsc->mutex.owner.counter 0
PARAM_VALUE 0 mdsc->quotarealms_inodes_mutex.dep_map->name 0-255
PARAM_VALUE 0 mdsc->quotarealms_inodes_mutex.magic 4096-ptr_max
PARAM_VALUE 0 mdsc->reset_state.blocked_wq.head.next 4096-ptr_max
PARAM_VALUE 0 mdsc->reset_state.blocked_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->reset_state.blocked_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->reset_state.blocked_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->reset_state.blocked_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->safe_umount_waiters.done 0
PARAM_VALUE 0 mdsc->safe_umount_waiters.wait.lock.magic 3735899821
PARAM_VALUE 0 mdsc->safe_umount_waiters.wait.lock.owner (-1)
PARAM_VALUE 0 mdsc->safe_umount_waiters.wait.lock.owner_cpu u32max
PARAM_VALUE 0 mdsc->safe_umount_waiters.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 mdsc->safe_umount_waiters.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->safe_umount_waiters.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->safe_umount_waiters.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->safe_umount_waiters.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->session_close_wq.head.next 4096-ptr_max
PARAM_VALUE 0 mdsc->session_close_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->session_close_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->session_close_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->session_close_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_empty.next 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_empty.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_empty.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_empty.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_empty.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_flush_list.next 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_flush_list.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_flush_list.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_flush_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_flush_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_rwsem.count.counter 0
PARAM_VALUE 0 mdsc->snap_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mdsc->snap_rwsem.first_waiter 0
PARAM_VALUE 0 mdsc->snap_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 mdsc->snap_rwsem.osq.tail.counter 0
PARAM_VALUE 0 mdsc->snap_rwsem.owner.counter 0
PARAM_VALUE 0 mdsc->stopping_blockers.counter 0
PARAM_VALUE 0 mdsc->stopping_waiter.done 0
PARAM_VALUE 0 mdsc->stopping_waiter.wait.lock.magic 3735899821
PARAM_VALUE 0 mdsc->stopping_waiter.wait.lock.owner (-1)
PARAM_VALUE 0 mdsc->stopping_waiter.wait.lock.owner_cpu u32max
PARAM_VALUE 0 mdsc->stopping_waiter.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 mdsc->stopping_waiter.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->stopping_waiter.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->stopping_waiter.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->stopping_waiter.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mdsc->subvol_metrics.enabled 0
PARAM_VALUE 0 mdsc->subvol_metrics.nr_entries 0
PARAM_VALUE 0 mdsc->subvol_metrics_last 0
PARAM_VALUE 0 mdsc->subvol_metrics_last_mutex.dep_map->name 0-255
PARAM_VALUE 0 mdsc->subvol_metrics_last_mutex.magic 4096-ptr_max
PARAM_VALUE 0 mdsc->subvol_metrics_last_nr 0
PARAM_VALUE 0 mdsc->subvol_metrics_nonzero_sends 0
PARAM_VALUE 0 mdsc->subvol_metrics_sent 0
PARAM_VALUE 0 mdsc->waiting_for_map.next 4096-ptr_max
PARAM_VALUE 0 mdsc->waiting_for_map.next->next 4096-ptr_max
PARAM_VALUE 0 mdsc->waiting_for_map.prev 4096-ptr_max
PARAM_VALUE 0 mdsc->waiting_for_map.prev->next 4096-ptr_max
PARAM_VALUE 0 mdsc->waiting_for_map.prev->prev 4096-ptr_max
BUF_SIZE 0 mdsc 4616
BUF_SIZE 0 mdsc->fsc 2328
BUF_SIZE 0 mdsc->mdsmap 104
DATA_SOURCE 0 mdsc r _kzalloc_noprof
BIT_INFO 0 mdsc->quotarealms_inodes 0x0,0x7fffffffffffffff
BIT_INFO 0 mdsc->request_tree 0x0,0x7fffffffffffffff
BIT_INFO 0 mdsc->snap_realms 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex