Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mm_init.c memmap_init_zone_device() -> memmap_init_compound()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->_mapcount.counter (-1)
PARAM_VALUE 0 head->_refcount.counter 0-1
PARAM_VALUE 0 head->flags.f 0,1073741824-18446744073709551614
PARAM_VALUE 0 head->zone_device_data 0
PARAM_VALUE 1 head_pfn 0-18446744073709551614
PARAM_VALUE 2 zone_idx 4
PARAM_VALUE 4 pgmap 4096-ptr_max
PARAM_VALUE 4 pgmap->done.done 0
PARAM_VALUE 4 pgmap->done.wait.lock.magic 3735899821
PARAM_VALUE 4 pgmap->done.wait.lock.owner (-1)
PARAM_VALUE 4 pgmap->done.wait.lock.owner_cpu u32max
PARAM_VALUE 4 pgmap->done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 4 pgmap->done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 4 pgmap->done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 4 pgmap->done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 4 pgmap->done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 4 pgmap->nr_range 0-s32max
PARAM_VALUE 4 pgmap->ops->folio_free 0,1125799360645222400,2314884282337259520,3487804881100709888,4287620441410408448,4432558333617348608
PARAM_VALUE 4 pgmap->ops->migrate_to_ram 0,892366893655998464,2045318714023669760,8762592014959497216,9113542883503599616
PARAM_VALUE 4 pgmap->ranges 4096-ptr_max
PARAM_VALUE 4 pgmap->ref.data 4096-ptr_max
PARAM_VALUE 4 pgmap->ref.data->confirm_switch 0
PARAM_VALUE 4 pgmap->ref.data->ref 4096-ptr_max
PARAM_VALUE 4 pgmap->ref.percpu_count_ptr 4096-18446744073709547523
PARAM_VALUE 5 nr_pages 0-s32max,18446744071562067968-u64max
BUF_SIZE 4 pgmap->ops (-1),32
BUF_SIZE 4 pgmap->owner (-1),64,472
CAPPED_DATA 1 head_pfn 1
CAPPED_DATA 1 head_pfn 1
CAPPED_DATA 4 pgmap 1
CAPPED_DATA 4 pgmap->vmemmap_shift 1
CAPPED_DATA 5 nr_pages 1
DATA_SOURCE 4 pgmap $3
FUZZY_MAX 4 pgmap->nr_range 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_page
UNITS 1 head_pfn unit_page
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock