Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/page_alloc.c __free_one_page() -> compaction_capture()

Type Parameter Key Value
PARAM_VALUE 0 capc 0,4096-ptr_max
PARAM_VALUE 0 capc->migratetype 0-3
PARAM_VALUE 0 capc->order 0-10
PARAM_VALUE 0 capc->page 0
PARAM_VALUE 2 order 0-9
PARAM_VALUE 3 migratetype 0-7
CAPPED_DATA 3 migratetype 1
DATA_SOURCE 0 capc r task_capc
DATA_SOURCE 1 page $0 [m]
DATA_SOURCE 2 order $3 [m]
DATA_SOURCE 3 migratetype $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 page 4096-s32max[c]
HOST_DATA 1 page->private 0-9[c]
HOST_DATA 2 order 2-9[c]
USER_DATA 1 page 4096-s32max[c]
USER_DATA 1 page->private 0-9[c]
USER_DATA 2 order 2-9[c]
UNITS 1 page unit_page
UNITS 2 order unit_byte
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &zone->lock
HALF_LOCKED2 &zone->lock
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct zone)->lock