Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/page_io.c __swap_table_clear_zero() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 off 0-511
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 off $1
BIT_INFO 2 swp_tb 0x0,0xf7ffffffffffffff
BIT_INFO 2 swp_tb 0x0,0xf7ffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/page_io.c __swap_table_set_zero() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 off 0-511
PARAM_VALUE 2 swp_tb 0,134217728-u64max
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 off $1
BIT_INFO 2 swp_tb 0x800000000000000,0xffffffffffffffff
BIT_INFO 2 swp_tb 0x800000000000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/swapfile.c __swap_cluster_alloc_entries() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->count 0-512
PARAM_VALUE 0 ci->memcg_table 0,4096-ptr_max
PARAM_VALUE 1 off 0-511
CAPPED_DATA 0 ci->table 1
CAPPED_DATA 1 off 1
DATA_SOURCE 0 ci $1
DATA_SOURCE 1 off $3
BIT_INFO 2 swp_tb 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &si->global_cluster_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex

mm/swapfile.c __swap_cluster_dup_entry() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 off $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 dst_ptl
HALF_LOCKED2 rcu_read
HALF_LOCKED2 src_ptl
HALF_LOCKED2 0 &ci->lock

mm/swapfile.c __swap_cluster_dup_entry() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->extend_table 4096-ptr_max
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 off $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 dst_ptl
HALF_LOCKED2 rcu_read
HALF_LOCKED2 src_ptl
HALF_LOCKED2 0 &ci->lock

mm/swapfile.c __swap_cluster_free_entries() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 2 swp_tb 0
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 off unit_page
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 0 &ci->lock

mm/swapfile.c __swap_cluster_put_entry() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->extend_table 4096-ptr_max
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 off $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 off unit_page
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 0 &ci->lock

mm/swapfile.c __swap_cluster_put_entry() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 off $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 off unit_page
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 0 &ci->lock

mm/swap_state.c __swap_cache_do_add_folio() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 off 0-4294967294
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
BIT_INFO 2 swp_tb 0x2,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &ci->lock

mm/swap_state.c __swap_cache_do_del_folio() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
BIT_INFO 2 swp_tb 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &ci->lock

mm/swap_state.c __swap_cache_replace_folio() -> __swap_table_set()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 off 0-4294967294
CAPPED_DATA 0 ci->table 1
DATA_SOURCE 0 ci $0
BIT_INFO 2 swp_tb 0x2,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq