Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/sparse-vmemmap.c vmemmap_populate_basepages() -> vmemmap_populate_range()

Type Parameter Key Value
PARAM_VALUE 3 altmap 0,4096-ptr_max
PARAM_VALUE 3 altmap->base_pfn 0-4503599627370495
PARAM_VALUE 4 ptpfn u64max
PARAM_VALUE 5 flags 0
BUF_SIZE 3 altmap (-1),48
BUF_SIZE 3 altmap (-1),48
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
DATA_SOURCE 2 node $2
DATA_SOURCE 3 altmap $3
BIT_INFO 1 end 0x0,0xfffffffffffff000
BIT_INFO 1 end 0x0,0xfffffffffffff000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 start unit_page
UNITS 1 end unit_page
HALF_LOCKED2 irq

mm/sparse-vmemmap.c vmemmap_populate_compound_pages() -> vmemmap_populate_range()

Type Parameter Key Value
PARAM_VALUE 3 altmap 0
PARAM_VALUE 4 ptpfn 0-1099511627775
PARAM_VALUE 5 flags 1
DATA_SOURCE 0 start $1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 node $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 start unit_page
UNITS 1 end unit_page

mm/sparse-vmemmap.c vmemmap_populate_compound_pages() -> vmemmap_populate_range()

Type Parameter Key Value
PARAM_VALUE 3 altmap 0
PARAM_VALUE 4 ptpfn 0-1099511627775
PARAM_VALUE 5 flags 1
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 2 node $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 start unit_page
UNITS 1 end unit_page

mm/sparse-vmemmap.c vmemmap_populate_hvo() -> vmemmap_populate_range()

Type Parameter Key Value
PARAM_VALUE 3 altmap 0
PARAM_VALUE 4 ptpfn 0-12384898975268863,9223396226110586880-u64max
PARAM_VALUE 5 flags 0
DATA_SOURCE 1 end $1
LOCK2 irq