Open Menu /

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 move_pfn_range_to_zone() -> init_currently_empty_zone()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->contiguous 0
PARAM_VALUE 0 zone->spanned_pages 0
PARAM_VALUE 0 zone->zone_pgdat 4096-ptr_max
PARAM_VALUE 1 zone_start_pfn 0-18446744073709518848
BUF_SIZE 0 zone (-1),16384,32768,49152
BUF_SIZE 0 zone (-1),16384,32768,49152
CAPPED_DATA 1 zone_start_pfn 1
CAPPED_DATA 1 zone_start_pfn 1
DATA_SOURCE 0 zone $0
DATA_SOURCE 1 zone_start_pfn $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

mm/mm_init.c free_area_init_core() -> init_currently_empty_zone()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->managed_pages.counter 0-1
PARAM_VALUE 0 zone->node 0-64
PARAM_VALUE 0 zone->pageset_batch 1
PARAM_VALUE 0 zone->pageset_high_max 0
PARAM_VALUE 0 zone->pageset_high_min 0
PARAM_VALUE 0 zone->per_cpu_pageset 2981388971784798208
PARAM_VALUE 0 zone->per_cpu_pageset->alloc_factor 0
PARAM_VALUE 0 zone->per_cpu_pageset->batch 0
PARAM_VALUE 0 zone->per_cpu_pageset->count 0
PARAM_VALUE 0 zone->per_cpu_pageset->expire 0
PARAM_VALUE 0 zone->per_cpu_pageset->flags 0
PARAM_VALUE 0 zone->per_cpu_pageset->free_count 0
PARAM_VALUE 0 zone->per_cpu_pageset->high 0
PARAM_VALUE 0 zone->per_cpu_pageset->high_max 0
PARAM_VALUE 0 zone->per_cpu_pageset->high_min 0
PARAM_VALUE 0 zone->per_cpu_zonestats 6967998483412946944
PARAM_VALUE 0 zone->per_cpu_zonestats->stat_threshold 0
PARAM_VALUE 0 zone->present_pages 0-1
PARAM_VALUE 0 zone->spanned_pages 1-u64max
PARAM_VALUE 2 size 1-u64max
NOCHECK_CALL
UNITS 1 zone_start_pfn unit_page
UNITS 2 size unit_page
LOCK2 irq