Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/percpu.c pcpu_depopulate_chunk() -> pcpu_unmap_pages()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 1 pages 1-u64max
BUF_SIZE 1 pages s32min-s32max
DATA_SOURCE 0 chunk $0
DATA_SOURCE 1 pages r pcpu_get_pages_cached
DATA_SOURCE 2 page_start $1
DATA_SOURCE 3 page_end $2
NOCHECK_CALL
UNITS 2 page_start unit_page
UNITS 3 page_end unit_page
LOCK2 global &pcpu_alloc_mutex
HALF_LOCKED2 &pool->lock