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/memory_hotplug.c offline_pages() -> start_isolate_page_range()

Type Parameter Key Value
PARAM_VALUE 2 mode 0
DATA_SOURCE 0 start_pfn $0
PARAM_COMPARE 0 start_pfn <= $1
PARAM_COMPARE 1 end_pfn >= $0
PARAM_COMPARE 1 end_pfn >= $0
BIT_INFO 0 start_pfn 0x0,0xfffffffffffffe00
BIT_INFO 0 start_pfn 0x0,0xfffffffffffffe00
RX_PATH
TASK_NOT_RUNNING
UNITS 0 start_pfn unit_page
UNITS 1 end_pfn unit_page
LOCK2 &dev->mutex
LOCK2 global &pcp_batch_high_lock
HALF_LOCKED2 &device->physical_node_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &device_hotplug_lock
TYPE_LOCK (struct device)->mutex

mm/page_alloc.c alloc_contig_frozen_range_noprof() -> start_isolate_page_range()

Type Parameter Key Value
PARAM_VALUE 2 mode 1-2
DATA_SOURCE 0 start_pfn $0
DATA_SOURCE 1 end_pfn $1
FUZZY_MAX 2 mode 2
HARD_MAX 2 mode 2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 start_pfn unit_page
UNITS 1 end_pfn unit_page
HALF_LOCKED2 &cma->alloc_mutex
HALF_LOCKED2 &vm->hotplug_mutex