Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mm_init.c absent_pages_in_range() -> __absent_pages_in_range()

Type Parameter Key Value
PARAM_VALUE 0 nid 1024
PARAM_VALUE 1 range_start_pfn 0-4503599627370494
PARAM_VALUE 2 range_end_pfn 1-4503599627370495
CAPPED_DATA 1 range_start_pfn 1
CAPPED_DATA 1 range_start_pfn 1
DATA_SOURCE 1 range_start_pfn $0
DATA_SOURCE 2 range_end_pfn $1
USER_DATA 1 range_start_pfn 0-4503599627370494[c]
USER_DATA 2 range_end_pfn 1-4503599627370495[c]
LOCK2 irq

mm/mm_init.c zone_absent_pages_in_node() -> __absent_pages_in_range()

Type Parameter Key Value
PARAM_VALUE 0 nid 0-64
PARAM_VALUE 2 range_end_pfn 0-18446744073709551614
CAPPED_DATA 0 nid 1
DATA_SOURCE 0 nid $0
DATA_SOURCE 1 range_start_pfn $2
DATA_SOURCE 2 range_end_pfn $3
PARAM_COMPARE 1 range_start_pfn != $2
PARAM_COMPARE 2 range_end_pfn != $1
PARAM_COMPARE 2 range_end_pfn != $1
LOCK2 irq