Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/swapfile.c enable_swap_info() -> _enable_swap_info()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 0 si->avail_list.node_list.next 4096-ptr_max
PARAM_VALUE 0 si->avail_list.node_list.next->next 4096-ptr_max
PARAM_VALUE 0 si->avail_list.node_list.prev 4096-ptr_max
PARAM_VALUE 0 si->avail_list.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->avail_list.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->avail_list.prio (-32766)-1
PARAM_VALUE 0 si->avail_list.prio_list.next 4096-ptr_max
PARAM_VALUE 0 si->avail_list.prio_list.next->next 4096-ptr_max
PARAM_VALUE 0 si->avail_list.prio_list.prev 4096-ptr_max
PARAM_VALUE 0 si->avail_list.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->avail_list.prio_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->bdev 0,4096-ptr_max
PARAM_VALUE 0 si->bdev->bd_disk 4096-ptr_max
PARAM_VALUE 0 si->bdev->bd_disk->queue 4096-ptr_max
PARAM_VALUE 0 si->cluster_info 16,4096-ptr_max
PARAM_VALUE 0 si->comp.done 0
PARAM_VALUE 0 si->comp.wait.lock.magic 3735899821
PARAM_VALUE 0 si->comp.wait.lock.owner (-1)
PARAM_VALUE 0 si->comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 si->comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 si->comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 si->comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 si->comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->discard_clusters.next 4096-ptr_max
PARAM_VALUE 0 si->discard_clusters.next->next 4096-ptr_max
PARAM_VALUE 0 si->discard_clusters.prev 4096-ptr_max
PARAM_VALUE 0 si->discard_clusters.prev->next 4096-ptr_max
PARAM_VALUE 0 si->discard_clusters.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->flags 1,17,65,81,129,145,193,209,516-7893
PARAM_VALUE 0 si->free_clusters.next 4096-ptr_max
PARAM_VALUE 0 si->free_clusters.next->next 4096-ptr_max
PARAM_VALUE 0 si->free_clusters.prev 4096-ptr_max
PARAM_VALUE 0 si->free_clusters.prev->next 4096-ptr_max
PARAM_VALUE 0 si->free_clusters.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->full_clusters.next 4096-ptr_max
PARAM_VALUE 0 si->full_clusters.next->next 4096-ptr_max
PARAM_VALUE 0 si->full_clusters.prev 4096-ptr_max
PARAM_VALUE 0 si->full_clusters.prev->next 4096-ptr_max
PARAM_VALUE 0 si->full_clusters.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->global_cluster 4096-ptr_max
PARAM_VALUE 0 si->inuse_pages.counter 1073741824
PARAM_VALUE 0 si->list.node_list.next 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.next->next 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.prev 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->list.prio (-32766)-1
PARAM_VALUE 0 si->list.prio_list.next 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.next->next 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.prev 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 si->ops 4066553769318047744
PARAM_VALUE 0 si->ops->can_merge 3963433155706200064
PARAM_VALUE 0 si->ops->flags 0
PARAM_VALUE 0 si->ops->submit_read 8122949791060992000
PARAM_VALUE 0 si->ops->submit_write 125136390775549952
PARAM_VALUE 0 si->prio (-1)-32766
PARAM_VALUE 0 si->swap_file 4096-ptr_max
PARAM_VALUE 0 si->swap_file->f_mapping 4096-ptr_max
PARAM_VALUE 0 si->swap_file->f_path.dentry 4096-ptr_max
PARAM_VALUE 0 si->users.data 4096-ptr_max
PARAM_VALUE 0 si->users.data->rcu.func 1-u64max
PARAM_VALUE 0 si->users.data->rcu.next 0
PARAM_VALUE 0 si->users.data->ref 4096-ptr_max
PARAM_VALUE 0 *si->global_cluster->next 0
BUF_SIZE 0 si (-1),952
BUF_SIZE 0 si (-1),952
BUF_SIZE 0 si->swap_file (-1)-s32max
DATA_SOURCE 0 si $0
CAPABLE 0 21
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
USER_DATA 0 si->avail_list.prio (-32766)-0
USER_DATA 0 si->list.prio (-32766)-0
USER_DATA 0 si->prio 0-32766[c]
LOCK2 &inode->i_rwsem
LOCK2 global &swap_lock
LOCK2 global &swapon_mutex
LOCK2 0 &si->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct swap_info_struct)->lock

mm/swapfile.c reinsert_swap_info() -> _enable_swap_info()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 0 si->avail_list.node_list.next->prev 4096-ptr_max
PARAM_VALUE 0 si->avail_list.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->avail_list.prio_list.next->next 4096-ptr_max
PARAM_VALUE 0 si->avail_list.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.next 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.next->next 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.next->prev 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.prev 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->list.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.next 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.next->next 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.prev 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 si->list.prio_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 si->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 si->swap_file 4096-ptr_max
CAPPED_DATA 0 si->pages 1
CAPPED_DATA 0 si->swap_file->f_mapping 1
CAPPED_DATA 0 si->type 1
DATA_SOURCE 0 si $0
CAPABLE 0 21
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 global &swap_lock
LOCK2 0 &si->lock
TYPE_LOCK (struct swap_info_struct)->lock