Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memory-failure.c hwpoison_user_mappings() -> collect_procs()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 page 4096-ptr_max
PARAM_VALUE 2 tokill 7092500858019938304
PARAM_VALUE 2 tokill->next 7092500858019938304
PARAM_VALUE 2 tokill->prev 7092500858019938304
PARAM_VALUE 3 force_early 0,2
DATA_SOURCE 0 folio $0
DATA_SOURCE 1 page $1
BIT_INFO 3 force_early 0x0,0x2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 folio unit_page
UNITS 1 page unit_page
LOCK2 global &mf_mutex
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex

mm/memory-failure.c kill_procs_now() -> collect_procs()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 page 4096-ptr_max
PARAM_VALUE 1 page->flags.f 0-18446744073709551614
PARAM_VALUE 2 tokill 2297114006930116608
PARAM_VALUE 2 tokill->next 2297114006930116608
PARAM_VALUE 2 tokill->prev 2297114006930116608
PARAM_VALUE 3 force_early 0,2
DATA_SOURCE 0 folio $3
DATA_SOURCE 1 page $0
BIT_INFO 3 force_early 0x0,0x2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mf_mutex
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex

mm/memory-failure.c mf_generic_kill_procs() -> collect_procs()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 0,4096-ptr_max
PARAM_VALUE 0 folio->page.flags.f 0-18446744073709551614
PARAM_VALUE 1 page 4096-ptr_max
PARAM_VALUE 1 page->flags.f 0-18446744073709551614
PARAM_VALUE 2 tokill 4743129887116365824
PARAM_VALUE 2 tokill->next 4743129887116365824
PARAM_VALUE 2 tokill->prev 4743129887116365824
PARAM_VALUE 3 force_early 1
CAPPED_DATA 0 folio->mapping 1
DATA_SOURCE 0 folio r pfn_folio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mf_mutex
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex