Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 shadow 0
PARAM_VALUE 1 flags 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &si->global_cluster_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex

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

Type Parameter Key Value
PARAM_VALUE 1 flags 0-31
DATA_SOURCE 0 shadow $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->lock