Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 1 idx 0-4
PARAM_VALUE 2 nid 0-64
CAPPED_DATA 2 nid 1
FUZZY_MAX 1 idx 4
PARAM_COMPARE 0 zone > $1
PARAM_COMPARE 1 idx < $0
HARD_MAX 1 idx 4
NOCHECK_CALL
LOCK2 irq

mm/mm_init.c free_area_init_core_hotplug() -> zone_init_internals()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->present_pages 0
PARAM_VALUE 1 idx 0-4
PARAM_VALUE 3 remaining_pages 0
FUZZY_MAX 1 idx 4
PARAM_COMPARE 0 zone >= $1
PARAM_COMPARE 1 idx <= $0
HARD_MAX 1 idx 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL