Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/page_reporting.c page_reporting_drain() -> __putback_isolated_page()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
PARAM_VALUE 1 order 0-32
PARAM_VALUE 2 mt 0-7
CAPPED_DATA 2 mt 1
DATA_SOURCE 0 page r sg_page
DATA_SOURCE 1 order r get_order
DATA_SOURCE 2 mt r get_pfnblock_migratetype
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &zone->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zone)->lock

mm/page_isolation.c unset_migratetype_isolate() -> __putback_isolated_page()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
PARAM_VALUE 0 page->page_type u32max
PARAM_VALUE 0 page->private 0
PARAM_VALUE 1 order 9
PARAM_VALUE 2 mt 0-7
CAPPED_DATA 2 mt 1
DATA_SOURCE 0 page $0
DATA_SOURCE 1 order r buddy_order
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 page unit_page
LOCK2 &zone->lock
LOCK2 irq
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &pcp_batch_high_lock
TYPE_LOCK (struct zone)->lock