Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/sparse-vmemmap.c depopulate_section_memmap() -> section_nr_vmemmap_pages()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-18446744073709551614
PARAM_VALUE 3 pgmap 0,4096-ptr_max
BUF_SIZE 2 altmap (-1)-0,48
BUF_SIZE 2 altmap (-1)-0,48
BUF_SIZE 3 pgmap->ops (-1),32
BUF_SIZE 3 pgmap->owner (-1),64,472
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
CAPPED_DATA 1 nr_pages 1
CAPPED_DATA 1 nr_pages 1
DATA_SOURCE 0 pfn $0
DATA_SOURCE 1 nr_pages $1
DATA_SOURCE 2 altmap $2
DATA_SOURCE 3 pgmap $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 pfn unit_page
UNITS 1 nr_pages unit_page

mm/sparse-vmemmap.c free_map_bootmem() -> section_nr_vmemmap_pages()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-12384898975268863,9223396226110586880-u64max
PARAM_VALUE 1 nr_pages 32768
PARAM_VALUE 2 altmap 0
PARAM_VALUE 3 pgmap 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/sparse-vmemmap.c populate_section_memmap() -> section_nr_vmemmap_pages()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-18446744073709551614
PARAM_VALUE 2 altmap 0,4096-ptr_max
PARAM_VALUE 3 pgmap 0,4096-ptr_max
BUF_SIZE 2 altmap (-1),48
BUF_SIZE 2 altmap (-1),48
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
CAPPED_DATA 1 nr_pages 1
CAPPED_DATA 1 nr_pages 1
DATA_SOURCE 0 pfn $0
DATA_SOURCE 1 nr_pages $1
DATA_SOURCE 2 altmap $3
DATA_SOURCE 3 pgmap $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 pfn unit_page
UNITS 1 nr_pages unit_page