Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/hugetlb.c isolate_or_dissolve_huge_folio() -> alloc_and_dissolve_hugetlb_folio()

Type Parameter Key Value
PARAM_VALUE 0 old_folio 4096-ptr_max
PARAM_VALUE 0 old_folio->_deferred_list.next->prev 4096-ptr_max
PARAM_VALUE 0 old_folio->_deferred_list.prev->next 4096-ptr_max
PARAM_VALUE 0 old_folio->page.zone_device_data->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 old_folio->pgmap->ref.data 0,4096-ptr_max
PARAM_VALUE 1 list 39519167169261744,627961168991527088,2805172457106239664,4129468660797198512
DATA_SOURCE 0 old_folio $0
DATA_SOURCE 1 list $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 old_folio unit_page

mm/hugetlb.c replace_free_hugepage_folios() -> alloc_and_dissolve_hugetlb_folio()

Type Parameter Key Value
PARAM_VALUE 0 old_folio 4096-ptr_max
PARAM_VALUE 1 list 8811608937443282944
PARAM_VALUE 1 list->next 8811608937443282944
PARAM_VALUE 1 list->prev 4096-ptr_max
DATA_SOURCE 0 old_folio r _compound_head
RX_PATH
TASK_NOT_RUNNING
UNITS 0 old_folio unit_page
HALF_LOCKED2 &cma->alloc_mutex
HALF_LOCKED2 &vm->hotplug_mutex