Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/page_alloc.c __alloc_contig_migrate_range() -> isolate_migratepages_range()

Type Parameter Key Value
PARAM_VALUE 0 cc 4129468660797198336
PARAM_VALUE 0 cc->migratepages.next 4096-ptr_max
PARAM_VALUE 0 cc->nr_migratepages 0
PARAM_VALUE 0 cc->zone 4096-ptr_max
DATA_SOURCE 0 cc $0
DATA_SOURCE 2 end_pfn $2
PARAM_COMPARE 0 &cc->migratepages == $0->migratepages.next
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start_pfn unit_page
UNITS 2 end_pfn unit_page
HALF_LOCKED2 &cma->alloc_mutex
HALF_LOCKED2 &vm->hotplug_mutex