Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/memcontrol.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING

mm/huge_memory.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

mm/page_io.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1

mm/page_io.c __swap_entry_to_cluster() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
BIT_INFO 1 offset 0x0,0x3ffffffffffffff
RX_PATH
TASK_NOT_RUNNING

mm/swapfile.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 *si->global_cluster->next 0-4294967295
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1
BIT_INFO 1 offset 0x0,0x3ffffffffffffff
BIT_INFO 1 offset 0x0,0x3ffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 offset unit_page
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 dst_ptl
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read
HALF_LOCKED2 src_ptl
HALF_LOCKED2 0 &si->global_cluster_lock

mm/swapfile.c __swap_entry_to_cluster() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
BIT_INFO 1 offset 0x0,0x3ffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 vmf->ptl

mm/swapfile.c find_next_to_unuse() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 0 si->max 1-u32max
PARAM_VALUE 1 offset 0-4294967294
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 si $0
CAPABLE 0 21
PARAM_COMPARE 1 offset < $0->max
UNITS 1 offset unit_page

mm/swapfile.c swap_retry_table_alloc() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 0 si->max 1-u32max
PARAM_VALUE 0 si->users.percpu_count_ptr 1-u64max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si r get_swap_device
DATA_SOURCE 1 offset r swp_offset
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/shmem.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING

mm/vmscan.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/migrate.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/swap_state.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 vmf->ptl

mm/swap_state.c __swap_entry_to_cluster() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
BIT_INFO 1 offset 0x0,0x3ffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->map_changing_lock
HALF_LOCKED2 rcu_read

mm/memcontrol-v1.c __swap_cluster_lock() -> __swap_offset_to_cluster()

Type Parameter Key Value
PARAM_VALUE 0 si 4096-ptr_max
PARAM_VALUE 1 offset 0-288230376151711743
DATA_SOURCE 0 si $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING