Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/zsmalloc.c zs_page_migrate() -> replace_sub_page()

Type Parameter Key Value
PARAM_VALUE 0 class 4096-ptr_max
PARAM_VALUE 0 class->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 zspage 4096-ptr_max
PARAM_VALUE 1 zspage->magic 88
PARAM_VALUE 1 zspage->pool 4096-ptr_max
PARAM_VALUE 1 zspage->pool->lock.dep_map->name 0-255
PARAM_VALUE 1 zspage->pool->lock.owner_cpu 0
PARAM_VALUE 1 zspage->pool->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 1 zspage->zsl.cnt (-1)
PARAM_VALUE 1 zspage->zsl.dep_map->name 0-255
PARAM_VALUE 2 newzpdesc 4096-ptr_max
PARAM_VALUE 2 newzpdesc->page_type 4127195136
PARAM_VALUE 3 oldzpdesc 4096-ptr_max
PARAM_VALUE 3 oldzpdesc->zspage 4096-ptr_max
PARAM_VALUE 3 oldzpdesc->zspage->magic 88
PARAM_VALUE 3 oldzpdesc->zspage->pool->lock.dep_map->name 0-255
PARAM_VALUE 3 oldzpdesc->zspage->pool->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 3 oldzpdesc->zspage->zsl.cnt (-1)
PARAM_VALUE 3 oldzpdesc->zspage->zsl.dep_map->name 0-255
DATA_SOURCE 0 class r zspage_class
DATA_SOURCE 2 newzpdesc $0
DATA_SOURCE 3 oldzpdesc $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 0 &class->lock
LOCK2 1 &zspage->zsl.lock
TYPE_LOCK (struct size_class)->lock
TYPE_LOCK (struct zs_pool)->lock
TYPE_LOCK (struct zspage_lock)->lock